SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j; L< / FocusStreamsCaseStudies:threads=2elapsed=27.356cpu=53.108gc=1.596factor=1.947zXZִF! ʆ ]ŗXf1-/6vRZõ7ioN]*meVU'f]ݹٹ%jN3r>S[1Q16X\Z'd`Ы,K2={0K!dKktp2HwqbEh?[kE笵ݫY, JfV'bP8 <JApm! wHnVBAI3DT[􅻪R2w'vf.u[PQAP*cz@A݅R{ se!<n'Iԝw|һN>0˖TJzC!5O9p;4-tVtB硇ЕK0u AH 7Gb?;V }!CMVp7'Z&-ǧ<86oD~dUR>N Ce*4?rmȉxOؗ" ] geP/nF?8Bh➾$yJ_:<⭻{M6rQ֨s9ffW>hZ>bb6r0;'5㻽bƖMq 7o p`M[kvtibE =#G ¢-]_|~6::%h|k zlC _fH^}vJ?8sn*'!Y KqÎ(G&560OaA>\EPPS{fҗKvl84d02eؖtFP(iLR M&n.ӆQ>YW HkfGԨK(q5tIbhpm6'&Eb=fvA: җi f:5+3[' u!O(R0°%#6gx~O#3չn&q$K |w8D˳O Q|$i7޾(]1*;d- +l]sI{̃Qi~%+P<2] y0y4GU]}ɧDN6ͰI n۷1$AaNWv^u>8▜9w̜h͟-o7̫bHVLN7Զdw߾n 46#,]#KY2W?@U@M" ~ ya )(aIw) Mpxޖ~Q($٫~jCgS]ċWM8gKy{Zi@)bA"p;09oJg%f\!dmSr|$5 pv$P30 ӣj x Q6p72p'nKAEH8ؐ!eLҭHS)c@e>pa _(QZwi ,P7 Ḁ̄I"}^4#+FvY?H~}}Rr>||p^ Zei ۬ET'h vm"V+~k-43#*\6f\>ݿ2l/\HDxuMjGLX38=V,Ewo]LZNKV:yF>zes3gYZ7zXZִF! h]ŗXi%Lb.:2aWv~MH0:Cwf._ 'oFpxЃ5BەQ!S&3PcvxA$PA}1ճX[2Wȫ`zުvy58lNFkZR&+TTE lOBLpU!)w%)ZԸ!رZ&N 8HͅNîo;#y>?4Z ?55\ up:2qIn3?JP'}@[_ r$^Ek$i`cKYbϽȲSiNYO54Qm`\NGahlE"v9CgQ&׸M32h0դ/,1Έ07*X3'0%E#JI)#(p ח6QìQw^?˼;ûtEҲۜ<B,nHk z]t0MQQ' OU~ٮI37$fJ<frKRUtà&s(4'Df$lʙ!gPr P+Aa'oea@Lʙ1-:K~ )&>lhVA'4 TBH'D%1\GÌt$0RW  ͗pO;o?'}gz@