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 )  ] Error_Function:threads=4elapsed=10.372cpu=37.820gc=1.320factor=3.657zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}5cCbYTW"a(6Ec @j18_@ȚpNNf?g9b:[?\! \Wq/X%(+-Y`:'=*hϺE6f-azjZXl?Wv1G +-͐Bb|Aez)#PqrLS\UݟU=E~4!Vਉ&쫥"N'C(#^xå/I-ȆA DЂnK G|: ѐ#sPc,b^=Z|M/ޖrÒ$ -B3)+ƱDW"VU:4i:,BB_@Ho I@0GvlEz"V@{.Xh(,\oEO>f*@,f zmA,[A[nwS ʛ*Qv- {cv([>i1S9m@BGaw; =>m`"۔4e:-r~P'z~p=Yh @W[•NİV{9<~%Ҁ]1gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#]i S OVti sK;hR֘p) jH2 `l/mc,wȏ$kL;q?\xs:. +>|tܱ |^E ;%)U^K LR$pQA9)ڶ&g>Xm(GāBM(M0Z*{H\FlX@,I/gpp<|P riJ0o}ʥ4t6eeDؠEP`;|IޒC&i1'IYūi 1Ҧ'.~F9p2uKOFr`f7?vIZ1;Pz-%M_0`vECcmDF ӱc^e, +h$Ԃ, #g1yLlOO⫕q9s>}{ dT J(YMݍkd … ME@+Cc$][.aE[ e5@#Um|Ĺb'6#uSA;{֎Gʰ48摗'0(> y/c8KӠwU2MP7y#a=dŌ ;/ƶ 4{ y]N]馝Z%L{hsV(X|@@TM5AUBsd>j[j1*(O[+͵]z'"ځIe쥾a`i(۾:UC(~?W܌M+DC$a||?O؄bB ۑ3Mڥ|@؊g<\Eؤ"9 1s֍ʰ-܎s3}e_\n~νGe\&asمXŔx/ʻ\LZ"fk*J=6:[s=q}$lv׮ܮ;㘼DpC*Yu碎de@K, &Q(>bh˱Q7v0p9PߚquD%RLA=N XS gYZ03b139878364759b05bd4492bdef4dccb021a89776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a ) Error_Function