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 nM L w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.277cpu=14.928gc=0.736factor=1.617zXZִF! @^]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cm# i#N׵T;+#q QøvqKv Z*|]؝]N[,^ w-fj|hLgjdGB#l K+SH[_KU<ʯ58'J}B:QD{r98ۥ/O"׎6air{ռT`  A.]{܆,e+W}[Ȓx>~9lRR;TWJWi@Y5ydU&ɴo{{6M%1Cge8otca<p 1Y}wBas`!mxH\V~$p]=#q!yVÐ<#DZ9I+C"wZY ӟNB/\$&rW jRpuMM9`; j򜽢hV)֜;r.X圗 E4dEG% ai@,Np^r4P b481 USNC EZ$P@Pw:ƶ=ٕ#Mq^f,΃Q33C:INk[} 6ybx@L[:,-*[[xR/lyNfw(}nꉟIK9A B/Bq{g\lWg!i'V+|}U6I~߽p2 J~ `K'ٻ%2 Ռ1ԅ(, Ly59ǽ!)A Dy,uJ9 g+'e]])8Mr`z8n/+%4XV( {.7UM%U.4t<|1C`/*8"N^CdD;UQ'7*[nKrآܾ A#aS;&Aقw7 Z'[A˖ 4:۝/#5G| &u=_q!S 3Y|(c JГ' ߀wugYZ7zXZִF! 8@]ŗXi%qB1:ǣ4 *PE<`e},Q o6:1S#JvoKV! Y?pJ!- "r@\/;9LulS?o)G{G@HA).(UX(<39{$o(H=isOW)XlbIp@G# paCw't,,acIa si(ey dՒ6-R1h>ϑTzY}]"szWECEj Vkg|@ caEZU b@'H] E؟2Ȕ"c8 ߶=?F旈F,|C³vnK,yk}Fu*套{oE yP~rH: ćpDkѣ<[M|BNjأCXCi<;{2ʕ!kGnF Vj!2ܽ( ^ ̙kdvlC@͚I^'Xj[\D|1W2(~Wk4.EN dkCG)i/=FcsV]*|}Fh򯨩3tz