SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  C C:+d| ]% Secondary_Sylow:threads=2elapsed=5.614cpu=9.516gc=0.428factor=1.697zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃#>g BcF.>xkH )-vBBn8pЅn\ r/:q) #2yɦ?=\GB;v' T@C4ٌ˭c=yB)2}aK= -TU` qYGE-^e7crgYZ7zXZִF! u]ŗXiɟy|1J(*BhJp4N=f/yB6~0 &39;Z8eʼnin+Hhz\tL s+o1.hu<)ugYZ7zXZִF! -B]ŗXi%;3 XIOU2,Jߗө5v'U>-3eJYvD3RfTQDG TH6%2=1_4F'`p೏L66s&M{d>[սs&Czi_>J9c(M>u!d8!ֵRp l>%Kx>as蚶S*V,m뻪AbDಢUM^ffP<[\t8zY[Oh2Ӡ"QRe*O=,Wǧ$-PK#N0ѓ\{opȝ.-dLsCYS`I5ˇ*q8"1MްlLܘTz1靷EG ObAAU7/{0xα r@