SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ss  Dlt ]]]ZF:threads=6elapsed=12.559cpu=46.352gc=3.140factor=3.697zXZִF! \]ŗXf1-) enȈA XR„q#0o݁ XgH#K'kޛ~S=p S8esZ:v tps>CM88W-skѕ@"}ƫX6T".>o«4MH  }u|leeLuԳvl#?'pn\1wPqz 0ڥ'3B}KQD*TN c'| @uNR-nmqdiC3"~tTq .)\ n.!r;@)9wwF|]uNڡVDZgtT Y0ւ0ol2z̢qȔ:ksKq>Hw@|5ucpG`:M6Lr<7M~6D,aU: SFGǵ_Y(JL`$;HWpD(B` \bt&iU~6۫@WG?DGUHIrt?A\ƃ^dsڱgYZ7zXZִF! /]ŗXiɟ 1FE`空`w(Nh2w4<6OMȄP {:;ڋܐbۿ1m$ 瓕s!(j[S uFDcZ2tЧ`n2A(`?j7e׌SbGuYKo'ԘH~ ="( )Kf/0* o6k}:܀ E*! dsT!,Y'Hه@ 5Cc8\$Ħl6OצƎ؎v]4LCdV"و`zm/|=^{h%O3{ڞ+oNUJmQ,mHV)4Y1 15Xc Uy? LҺW;t59M8^s] h;3}VLhY;"#ʊ8xAlF*H0s?rHAmU}%T7U Pr kvLؾ/“{:@W4@V( {KS5l$A Yf(-gYZ7zXZִF! Es]ŗXi%EZpz Nb6 >s>qIv*s0&hK,Ae\P`G>nYuR_m$OD?7NEn*d!:o}~Tw:+G =i_A۹&AiR*JOδn ӭcxTYy:_%/Js%R0^HE3}ËNcWYMR %Y¶0i^l0QXCyY*mW?a=f}xQqif%c7BFƛ\:vã!2L8xRnzMGV3Hui>&^ t7%YK ,83RBc2m9 Z:FjsK'2F94I-CcG9d_ Ao.aw8Kֈ46~܌rMP2B-eM4;A#K;R+@~j4Y;{gE5z,◘?Mg`+jn߇_.(RGH*JMȆ @L}uIf=aJҳwi٬c dU^Ӑҍi·st!26{r; HA@ 5)v,a>V:qݙXY|d+hݍcC=&>d$ʷXvRL[ZF5cMSD0.dsH&'aMn]-McD'H`.?MDx &P}XƯ0)[ZH讉pO$M ߛ*#)1<||[je|ZjR10BAUjb j(!Rԁ?G~Fh;1? *꽉j:!iFn'\Aa\0UtrHL^zr`SGKϤCGYjbt<>RJ{ ^ZE :@N&H_!^x"=O &mVQ!J`?x&Nq9 FgYZ02c494340d3bbf7cffff7c1fe8db737c2530124f774d4d66473cedfcfaef21f8da022a76e69a439016d43b00187a70673265fc988476af044040cd59  ZF