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 :/ $, ]% SDS_Impossibility:threads=4elapsed=39.951cpu=92.972gc=1.580factor=2.337zXZִF! ]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,{ 1Y窝;ʎzO9w!zfJV'FyT,E_3SB Rl$ *2W_#}Lcb27qyYKİ4(v&L{6.f` sơM0vbK}sыq[nJ>S!hU~9RطBofs Ƴڿ>8C-%rK^q߽&2J~u[#cr2l}8j / SDS_Impossibility  DHCSc&L Y隿1i*C+Z>%oCI2>LK{|h5*ǀ +RZG&, 4!\`AC7HDo„l[}ZKk#",)uͩYg$ BT! : < G DRZ1+M!!Xj k>)8|KK4~e r#PëkU Pn!ך m@4H>fџy7/c.D?S ;N3Q\6h}d-zZ#@6NTE06suuY eBWRN:!}ú2-TbzV (a7uÜ.ϸȔ-Hh31(<^8@Cߩ7Ђu6s}!55CmHw`( R$} c,C<]x'8{ˑ渝G6RRugB&2fjm[gde1XbKh=poAb?E3(v}pgyL^hNmGFؑ<·(h`MR>ipEhC,H k^V b_0@ΈIsG<K5KF! %̔lS,clkU \P9R_Э>L [,h&u;ηMW3DZµIHmF'P"nv253㝔pxg0LI.=) <ҭi"HiMLFۈzzi ȚB}IRAMx'U[K-{3RbP3YO`.wJN&PGKm0\yj{1i.Ahl?{a*@ZFTH'!ʶKNn4 T:%dkͳP%[\]Vx/(ثns(vZZ'eԄ9g?X BvrxW a@y\\[N邢W.zy"[`:IW6 n][Q9?^cIj zȜWi&G$tIg+@W`z(H:ͣ1E'%QiķP2E81i-x]]̘"]Dh {Wԍi@ ikNLx4;R_i4E,VSd%0+2?'v"Z]뾢*\ !R_^rIRЅhuׇ>TZ[rTA DHI6d}VA7E @3So,y/%/LF/_[*5˪[xUxtj̦ ySw{-1e0VNלxqPdgyӫZ-]$ou}DXwUvXT/[aU{ĩ1(PNK5#!cH?[,)M⏌u }nI:YL) qic(a1_Ք޴YWjͳ"[Wfo-ڔQn,bc }g7PKtmdhUFZc kέ{}KI"-2x͘9Ǭ `+/Hء ^MUxdxk" Wa1춏jp3[۫N `6{כ~qPyAvk -;J=0)w7桜+C2~}A(|gԕP ~xfvh ] Zy6ĥp yzƤq]*D}9gM$KmRwb~&55DuZtxM*%b(p?R,? wjk{R {Ocx -r~ESRoJ3r&")nR fH_[rrš2m @β+G v/i:\IgD.TO[󉰑wq@cEPaE)FXRPfv!#5(}- vVgR!D a jD5qhE" dֆs %HJeZ4%è)\hM %YzcQmƶ3Em?u5E紇0_H:iqv #7f\$ľD[ QK4- ^J_R*JE磊K(bq=Æ.ROMO|J5s& J`/Lw$QArX|j*#;&@+}k+h,ehOmg~bѴtWioo7&Z3HD O95(5xFuzIG@_ K|j x0;p@޽Ke]#f=<ʯ/Zb0r{רaaq %JT 2n 9=H\\ y=X>ǷpxZv`--apG`AmXB9H!K~#D2%J;r3ѵt46.mΈXTs {K<_]3% eAvM\zFBJiW5V3IY> gYZ1c8d192f19f2b005d0997f822f437a4ba45de89d3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd 6ba018ff4eff7b16dd5ece70bf05a767623907ed 4fd6cc150fefcfb16f7b84f64955d051c4b45b57