SQLite format 3@ . BBh77otableisabelle_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 v= _GL9s՝TaW50sɽ8MsLQRt,m.R[,z^ugu-e!^KYVgL+E p[$e܇ʊ^C.O,2L[IjxAdžn)Yax+>ϊE@'/^X8wV˿7p )l ެRW[{FғJdի6aC6+b#2T<7_iW6 Eg'Uk'#S1E{;?NJ3ȶ -m1C\#3:גJDjHZG7,Լπ}E"k܄ZH}U {gg;@կ/yKI3.JNo.E(pxe^:%, 1KW D2RztY4}hk%.0t6EN~<` L1kJm|:i#a;7} ea'D]L9UC@e{GڵͮqPgMBC.-7,R-9 oxϚy/M0ߴ^6ݫ|_7W^aa&<~NlE.gEoC8'#(4/EMwI3YLfV4TYe\YMPّJHb#mǔìuĠr=S%/F!=P1].=W5*‹Fh` r4덳_Dn-ZPVGVP V_UX&9S;Ir@\KmݶzP_ZRjFҡOdj|~ƪ n9/gӾ!>g]7HL_":h2c%b?ބtZ5żD'n)-\̏Mn}#%d/(Q}({ֶ&ٜGbz^yȌLV6O›7 Tp:4$z,d&ntqw?8$f7VJ4АmBtL/_>} _s썃EBw;?j aKXahS\\VΧM\J06w0zjf(H[z\xmBu${L.ejcgUÁy0.yzDU6ѳ0BFL!t*UAK q.U8 -.Mį}([G&k:(9X Ɗ'pÑLS3԰"c[ 8m~dūgݟ[+y̩ )AIqM7} tR선vmdi_mo}\px x̖ޯmu'QLk /d@QT״[qhqrmE\99bʖ#£?+Tv:RA}]ASۥN|4W)vtyڂwXRV#軩 |cNT;T|ARz>%ooggը<^" -܉v6eG;2ݑ猰ǭ'# kLbbgYZ26c6c7895c1c6c9935ed8f6ed9791cfa4eb5bc64ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198