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 n/ $ ]% SDS_Impossibility:threads=4elapsed=38.134cpu=92.036gc=1.472factor=2.417zXZִF! +]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,z }ZO d0{r\H%ޅ9#WOo#M<ҳSCR#}$E̞5h2h('nq c1r~"qˇKh1.CzŊ%;4] Ջ>f| [~s{{z"̚b6#isZNHsk.VZ5 :b5\ P̃߁>NKgJH W]Bvob:a Z:em / SDS_Impossibility  3#5d'Me,*КjFaǗi8Gvᕡw6y=X_"y5'U6OČx9x /z:§G'^2z9Q6'RrljZ R0χ+tm5&w6BUN.F(kᵼn? dtw-`LPD8g*7ΕHt {S0A )I& ;wW+ƇZ8|Dy#kkD-RJ(RW7==76dE(gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ]^e"8Yk]0 :FHY 9{ fZ}YZ7zXZִF!  ]ŗXi%Bu82qysFTτl_lCCù\Pd.楤A4]oSEJfe fȩ^Q ' N{mi]ͣx^~-TyQG)C0X#|S}:MA ]ͫ!ZrF_?cLU+l6rãL+:e^1ͩ}A[M [l6yP/9o:ܙ7Suv"ˊ(8QJV4,S)ha)AhZ1?$'>MHy WƎթAJx9>@6TGHU \gh1\BcP{2G$w1\ܝ 7m<';are*QẒ"C5e&pE=\Lsϸ0+ e;+97a Db4&rLj[s\:(j19]U yviJr |'O Ǹhӵ.ʀOw{O^O+Y]T4ZtQ2H`1D"A:m^!3t)_¡}G-{t5tLmr`)aLq,!"9E:j|/i"6!JW@ hHs˘2w` 2yTcke<ɔ0Yjd"?UUw㺡,:`!=.l‰맹H%ejJ َ^ԥHqh1]U9 5wW{j6>j䎾ޭ c!^ m2 D~qCXK(ɁS\/2O&h  Y uPu"^i;.yS,xig6Wد4h\0slB aV>;PH(hOß 57C1MQ-NFRi>-(IqNؼ7iٕ#l1E+p*]F&X-_>)fq*@e#ՒY=l%Ha`Dzx[bVUP97xTm[Pnx%Gxuᝍ?0|=)l?\{ʓ y!C dzpT3hgr !d0PfGY,A 6f,kk$=ra\*U˚T?!:ol);wKdyLjτB@p&7`uZ^QAߖRź=syNu fzmO 7媌#:Iܝ3Z&jE@3+B,ΑX$Ko>CTDG tX¦ xeE;K9ށPȇ ٖ$ܼu }xB=XkYkoe:{CnXA{0(Z̛^"%*Ij:](d&zr<{&hwzgtYAm%WaX>Н $LPJU#JP/bEK!wS d,i2VQd;8&i=K}xƑw Հ;>lEџ>0cކZn@-B3#@,MR:P2m1<5Q[@V}Msıpw0T8|7KXR!DpHLh4wլő`9e'QJdz)I@:yh뢔_%j *gBɿ eHӯn-9cedpʫA,Bt5Wf۱Z}T(_>!&j5tĆ$TŽuV#iRlO ` 8 W]éBĝ<10hlNǷ(A|%FDf%T Rl{$:0n@Dhڃ$+} وFSf\Vԉ3}@cu%<[]J,S  _gQ̄A9I mDۀC[g !G|&cvu0%?e ι?BV\%XM;?`nH3mG`;nε\owCR9ؗoLJg-H= vQzX);ҵƣ:Hg3Ω MIW!TJRi&;@i| Y{eY|nAp- ڦU L83R&= Ztb,v. `"r׸(%\>_2Oʫ^ ^ Mr T)Zi{JŬrAȚöjhL#rK_i ]p1{\4c B[dYñgYZ05f0957a8a019e114b7e7820b290a0c642e116a33853cc710de37a8d8ae8e2ce10739760530fc782 0ef3f7ca08aa38fbfb432e3cbe6e8bc7442e9193 9ea8e90307d7a345a583a77301327eb45d5352d0 39cf877140bf57ab8ae26e51ccf1c5aaab0051a0 3feb1cada3688882f84240cd4a70e5b1c1ab2381