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 W | m/ MiniML:threads=2elapsed=11.142cpu=17.416gc=0.516factor=1.567zXZִF! 8]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{WewXRϳ{ɠ?8s-y6iO|yoc Om%sA#Otw sROJh <WQ+LBTߦfNS7]Θ ?<:LY/J*Q %k\qRB? <(RNC0+]"L@EdTOc +`@::]&_E[saÃ8.KEW疉_ G }cY !p0!H7%q9(2raSn]-^|5o8-Q4_r \9 D׷"gO`Rh@|,eف5d^sa % ̄t4oeb`'5]!KA7uwQO~^{f(Yp$gH71#/@ QWQUؾ8,N[䡇i_lЁteTgmOn\ ^ᦁi{w,27Rˢ Sqd_UA~^2C/o{18eUǸ+EŌӮsmJfF4[Jē;NmV u_DU?#}ɺu=ȉpֈtR g3[7.8OW'n^rv_ZctI¢k6c<~\g~S ajO6ZoPք]ttH f%2E36ѣ;.E_Mu:^ l>tmb;af+d즷r,~Д:ݡo4,թpefbrL&p ><~^ M#a_5)*1N;H{}#$ hSb 0a7Dw@#`Ԇwz0)3B7[w-W3prS> i q>B9gYZ7zXZִF! <]ŗXi%rËeTizǩ6W9ME,lp̉۝Na,nHu*Us[hVNT271G(|ׅ5-j=SJh㸡% UѨ#O:88Oc/]wrr΄%~,\݄NI³++E#Dv hRgkt&g2ϕIAj 93E\ſU&oD>NpG06*p |ց#|D9ev ui[ZE IC]y" Me}BG3>yCm}A#~_g}WU.CvY`gڌq>;j:!Kd_bjلEDɸ[J3z%7,XBt -hS_bBaNÄD| ӟ5.o#`ϡA뇕k!^)7ESbıA=MAhPwWt>urdy7(gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb   MiniML