SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ""[  m/ MiniML:threads=2elapsed=13.010cpu=17.728gc=0.548factor=1.367zXZִF! <]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 kGstVCC_M 8!F( f#]4 ?N]@XE4ι<P8[CuLo]0.MNuY"K>6#0*c\] 7 3 }ѢN$ڝ5t$p-{ E7;J>^ Tׇ"VI~Uvo}R?9RfG䎅f*3V19\Q}>gYZ7zXZִF! FG]ŗXi%6yKڇVKmd$kϋ4]U9ӡPiKѤ-[vF[(0MT8ڑĐʄY?ei^UGH u83ϝ"0Ai֕2wy׼(=d8X][{Gɱiny_%S͈ă'=i⌹.p>wa6"v w<?* @Jb+(> ͦՇ"%s{%h)oPDڣ=HKOq?ӓ%" .+s#Ϝxivo4ʩ%J%;+1/W+N 7?>m(5jhCu O,ens}gKFv.vN^(xD~R2}+Ѱqފ} -r÷+I'COI-C:eR;&HH*-WM\s_j@$ Ww2BPZ=rB߈~z% "/+v&w3uis I\C*a,wF=e}(Kރ}k!\ckYԦh5T7D ArqK%!1HP0ɋR'[%g,Š2b\&?#_ ӻwib nJ[5>BMˎ=֧\JxF{Py,[*ըӹ0_'31D/flȌe3gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24   MiniML