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 ^ ||T ]]]ZF:threads=6elapsed=12.639cpu=45.432gc=3.344factor=3.597zXZִF! x]ŗXf1-) enȈA$jB80l,v8-qFN}٥G_ckuI7W)Hʋ h6t&OL'Wt8c{=ҵU=^Қ[rF:jΫ!: V3 yo1BJ $1BczvE +4%k/&iV[ <*!u,[nz4!Xsu$ eي)1K"Y_˲GTFxvc\Gb^\u[s{Ve~ XpgbH#~i@놻)l!&ng|sY 5v0 rV/}xeE ?!!g;PSJ 65q,rpLQ92&Cb{ȑM3ON.QOñBбxࢹjIC D~DioQl/6$wASFwGz8\7K5|{/4~ٯ^=+G>/c>%nh% T%ǒ}Z_D VwgYZ7zXZִF! 6]ŗXiɟ 1FE`穵K>|]ældHON֪- !wpy\Del0>AoB9icnLSe`>5{Km!.#pth" /%4]]5N6"vyXtSouoJP\'t3Z''4I8t9i1;pXFzɥ~_BZӉQcjnnc,rt;[]v7I! C{@ZA3ryo7bĀci3 ncGW[v6j.ƑULc{@ܾ %oӠ^N%sA08N=6u8%W >?(XW<ۢ׹_ _f9cVHf=rZ1;ɔdit4\5n݌/Qkz1%E (}Gy 8mF+c1yPZlnM_Jt%xZQ=s4, U3r~{t gYZ7zXZִF! >$]ŗXi%>eozI?0__vH!o AW<:"u*V 1A U(;jImXs$TMSAW(Zys/pLk1{0q*{d?tEC캦c+DSGJ=%ėI2CEƾ99`,?MqJ4O8 λ'< 5D^to41.Ki N;=?IxP`$ K%#ΩW(j,;iCsJbZӏ:ۈR v.ĻT7M&lsc sHN !AUaQ 9Dl67qq'SKWu|ƍUW;B]f!Eqj-c@QMKAWBxB}*bVbb/MK5s"i*C&"=n^oL1S1۵gй< ^;t//ˈj?6In|v,cCb[.GýU]Ƚ/&`i6I: lMeև^ )-fK1=}CC ThIL Px4,t֮L`=Ja|*q\HWr]Q?Ie(! ue poh1`O]mDm*=<)41I|d!{ K&s}2QIIGD5_3[-SryaZae )1wÅ-fKdB} .7m^X/3;.$-MĘ펏ӞN'a> (|1k; O42|6Tgn~~5=YR­FkNO3!e у )rMV$Tѧ%׻`wjD &.x *YXē?Pp)1;kTyd,&EwU!<w@]qE@#WGKgߧsu_T8q+ggҴgL(;͏@RQjXu^ghv7l2R/<͊գ^wA{}}u-[nM体,s!4ͲSC~֙v<,z)RC$,) W=,c }agYZ3f11482340a795c5ad64e45196aa001b57bb07188bf312bdadee5daf8facd55eb1fd3c8949cfba8bd1dae2af94b22cad4aca49245cf61094022a54e4  ZF