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 F/ T ]% SDS_Impossibility:threads=4elapsed=37.886cpu=94.312gc=1.912factor=2.497zXZִF! K]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,xj3{JhZ|$ɝ ʶa F!.ŕ= m,my C:/,tN@-{%|(HѐrTyk1 텾Z*P-k~r8K”†C^I00DFzCqb`]7c#.X77;Ƈl^#L3-87ѵ_qN* ئK1(z I@ mxu8= ܩѯVhF{nBV>u,;Y / SDS_Impossibility  ?\3Cf!-:*YKu4=WD^/ Jz7ue)Η|\-nZS`*- :0xIY5Y߶.(k}6$3޾,1'y. n,:Ib:qm^uvHQ2>|Q+, fȨөwpw>}"z@[g΃ xP֪p!Dm7ٮuPN$C"'W1uʊ *wϿ3g@q>/GQQ{zƒfotdžRO (KqK~e8::gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ}GCS--Oàa)fZ}YZ7zXZִF! b]ŗXi%GV N!НhMGƫ 8#Eĝ<NծѼqg5(G`t8:%نG teQPLӞ6CpmjۡOO9Ѧ!8ax Xa>7e ͔[-G'iy7pE24a`0h~7BDQ11(a 4N |87nhq!}rGzVM%QcB+ۖœEDߦ|F|5Z*M=K %JiD-JXP([-TsN9pVG@2oVF.$Õ=aClHP=1p'UHUJ۱GPoO X Kk>;-=`TjE)+5fY8H5ڡĈδ+WrhU=&zCX#XsK݉쬄XpY_.ek+-}.RǻlZOh͑E'ewʹ2z~_ JZ@>{4o/>-پ|ikMyLB%c`b`8iZW pjF[%VmiBQ'dqǥEP8PY*ar&p Ο#އ$ U7x|i)7 h^r/\栖fk:BI $;Dd]4;tl7< ج*f&1Vt0b /yI%7?#OMU jgtKX>eZGyql@Z͙ūP^0bH[mg:/P<)m}kl8^4ԑ6w LYr3r#R*i%.o4SY0o_גҏ>OpߣarQ-`3(`1u,ĶXֿ{0 M~y2ĐCK0E}T;0#gzX#>~J DyJ@&E*&`T HNYӰC=7 )D&'0a0><(9WɸH5U=(a ,{& yL! W3R\oES\+3rC05؇K;,}Yr]83@ \g%RYSϒ;$ ;(;WSm};@Jm-)KB؟[F zOg-u^[tȞ>1Iz$ չ0{@;3z_CN"||(CpHTV.^Ph= >?W w1P?m> 5?`D[)G94^Wϓ6[!ثn<`D漧 )KvHGyX}塦0^r~kؾ:TSZEHRJ碈aaj1ċ =1}y;&ZgFUVZ4|S PCG³T_.k(}x)J]1NDpFoBMO1gxQr"NNԪ4|#crB5">Z5RfWwh&9$.b˽弳@`&߉Z_Pe%-*Q)̟/;|wykIR2[ԠT&S&3n/S`}ܘKS7 )kR568\k/ x$ioLɜ]q~ʽKātΌx*%#}r`W]ȓ??yЈVL U$p*qƸ~+ww16%>GvGkN/0OդWߕř!OH7}x`;X6Rt@Q` Ht qU0)f⯾b_Ը +k$ѿC ~Cı{,1xDz2t.]JV\Jˬ$*t~>Y5'n}ʀG~!BFT[fPjtnj;FaG\Z0h輐?SP!ȩAUl[Dr˪mgYZ4e893e56052b81e1b3a184cb751ccc113f94ab714b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 9aaa5364584c598f0881021e63aadcdf0075033f 0b9fc18e2ce732337fa7383d86282b397df8c170