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 @@= L$ ]/ FLP:threads=2elapsed=20.945cpu=38.464gc=1.216factor=1.847zXZִF! m]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҌp?:8&s%p̱Cӻ y@!Ll,~x OPS-+Ӄ%WYK|.j21pL\%~ X:ަ=3֥+̰IiXf"Sw?>O! NR-h/TΊIιEx', d0xʵ^ FzU3Q]8sEIwgu]DR \{PI1v&%\7[j&7?YV\C`^z!ibW&zYVVԞ9${eϓ{8o2J"Nvgosp'D=(#_1kؘ09'M*- 5gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMuj%pw:@OMWMAR觸)b%dĴ v=OM(is ,k% 9"lYݯVX*B'SjWaF2j}ƏM_WxH7:dfT$zRfs۱gYZ7zXZִF! vV]ŗXi%;4b lf!ԋN% d㧇I͌zѡk6lǛC &HnsDtAu1Mw_!MR:k+cFN"by:ǎz2B؂hs mO⌭"̏P^t[vL .MFr浳# Y^e۴[*WTGɠk;`i':g 3A+k_2#׸LOϊ$fe#]D[Y0 VIK_ Y/o,&P9YnZW I-r9ewUߟYgVඔYb+h2cVS9;nsZG,_N'[/ΰރ$Ţl,C9_Λ́7P&+Gu0_rCf^"uAN܇egG7, 6%;Lڧ륐ۏh5r ,qi|07t55ʡc \P)Og˵wAu_x<,A>ݭ"}f3F ǦF]d^>kyp A{C!>]$u\ L m‹~۩hcmŸ{T!abNjYA^%zD0VEZ (d) ^]@9HR eEY {*F%+թDu"bo}0C{+E$2B{hE^9IԦ9M(d찎Űr-gwYdG6UniVՔ`aRW|%Dqބf0Ө3(f wDvPׁkQLŪQumYiE=רnm_WI6q}N+ML~H BaRyHʛ,KQHEMp#,Z@|~BwvB P7W ajE{a hj)Ai[Ѳh}(,AV1Hɝ sr.*Sr$#rIMfxDfaeM6\:2ϖ 3ڝA/S@)}D1Sٻ8?䞞YImCd TyAKΟ-J%`toF(9aeHɵT+Qeb^RڈLUE/s0x k3w*ٮDyF?u_e8LOzuhӌ7sk-U*Kq!$(3戜Xύm -=~)qN}j]JX@ɪ},0 :P#6՘wFP\R/.8彧.,Q}4|gd y$N\RCtFg@Rô &0&>}*2,t, EEUQ밾dǞ!ZKpK2] y߂GIQQ:`H@Z 2gYZd045e8969d64c467466ce60088d976c706bd213f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee  FLP