SQLite format 3@ .;  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  T4< ]/]HOLCF:threads=6elapsed=12.749cpu=40.984gc=2.756factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0r}G$~VrV$a Twώ|XG D)0جI rgREHł9 dڮQ{KߝL0znCyzS}cK*[*&^:iP\mo_KJ1Awj,ʛH<i$*F2HIw+egZyK5tfOHzm|=PD-;y 1N$b:$҅Mz-~ >-]#|"fAjN\&ԮXg0WhphJrcstdq ۦQ tƔ,.פ-d(C°gYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]wNt%p"ۍULĕβ~Dr[zk@Q-NoXt$,R E ZK`ޅIWل8IӢm@-"zPTRw'Ŕw ceҲ)sxHR 1vlbdYBvȲ ׿=K|dS1 `\)GϏ̽d䪀]EjH?Hb]&ZMNC7/0Rg+ cr֩C%<"h_tܟ_[ơM l6] ʣrFw%t4@롎-E `/)9[- ̀Nv؇ҭ]ߞuUؿ)E#${sTZ d]膧*;K6۶_*Ͻ6d@@~c} > zG By©溞d0bYSKCPCLydEdcsngYZ7zXZִF! HU]ŗXi%IS<m0 2.wČar8+WQ :N椝bHн??Q ؓJ{)Gu W]7egd_$fz9- W)_]$h^$ZTBԄO!K[*+Y] iwo!"`۸tW-ê][DQwMoڏsq]~uo1FԪ4qnY2 ⯘<qGdL/ /n¤ʚV|UؤS\;Cض[º%'kD:oS^"Dz嬺čVt'3VB@sܟ 8 ,3u{k.$g}Gj ,<̑.Kj VӂZFZL{˥qGLxg-Vd_g? ZK:j{f?&],H^ݺHbB<U0_p]-\ ^A@HS%շm}OV钄}inxD:PMH4xAg Ę~UΜؘ<ѐi}tYB~l6Ϭd,^Kls03_%AC+ۙ:ʱ^~ejD>/݈Ij㰎t=!C#|dR i!K"eLX׌@[ ٥3 sV:W82$!nE@z> JlH"PhPx*H|H2`֡(