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 yC 4, ]/]Median_Of_Medians_Selection:threads=4elapsed=13.889cpu=35.440gc=1.424factor=2.557zXZִF! q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkw`~%Yu H]f-/P&<{1oeUmV+/`~6/zYӘbYV?/[9!7Cwuy9"S_o+^GmwF֢u(1tyE&{~7(O  )Q-"fW_ yzUf(np%pG :J{EbÉerv?ڤCy:}.WqbQ$H6Z<~TY4 \ n#TSɌ&vxx 1#GA(Qk,Z[33]< $t a6Y_/*Fe򴮵^N[Xٮϳ}th52k`cΠf0?*D]pF-.>nC_ 8mI(p:G T~}T ӋEx6;?092}x~_凰.WGEs>BƵݗ: :K 0ʔ.?8k0g/r܈jJ4YmgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷Vy%,ƻa(5zSQaHr iGKjP^|8Zh񣻏ڃ<b]&`RC;3?OfPNdO@uH@K!gYZ7zXZִF! ^]ŗXi%GgR2kDfuIz5e'n'gLwΎ©_ a ux~n]&h˺?Go'ߕ=>>g٬U;Tw}/^i*π:dƚt+!+nvb/V) HO5ʒTX_ FZj]v$X`7Qcdf$ [eBԁ)`E*Mp WE 빴`=/ZZ8s%~%D2\9AbeQ6&*DA,٠hF$MMHbagSGIcE[gbul;s}8ƜR|x<+TOm8\8iSLCGbA6&ԉ}{Yී(K4et4R ݝhٗ)oۉ.9Ŧe0VaR^FEG6[|T߅$C i)*$nM-}eUQ;tcp~ioM<,IR[Dc#Ct@m=؝l0;<mmϜҪ MeS\ͬ\',R=?C1gy7IJ*# !#h E-J}'2m֪ڰ~y-bNod/QHEqXݍDFT*}W| DoMSXMVĤI|[:D][΀KVxni2+m[n1_Ho+;KV9l%qgS]B)vgUkp&__&Tš"r^Y,wߑ/ [U{'iYF4AϪ1܌OڦEiY/eIY\5nl]"w3B?6,F\DBS+;7-G<(~;Y `(3B+(W9&!sY :c\ /&CV7WG*:3Vm^x tG}\~'X#}:߈M@GG?䲥gͩ)S"T.dW>) P s˹~?xݥhe޸V5QFкt !`qnG.R &W:1(`IkP0teޠ7Y2Gړme$BI~3s@C5&#nCf[4UF#|뿜%=(Fg֕64It#u|=4pAg1a0Q:19?VІϜ:``:ӵ2S %~ ^+NyN8Ii.a S^,"$d;~1vPEӫYI m(ӳ~$yyJƩq31ahL8Y;3v}oc]eAy-\GύW\D*G(h