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 dd \t ] IOA:threads=6elapsed=7.059cpu=28.736gc=1.148factor=4.077zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSeѬ1 *Ӽ]{Y)0>_b,?gpVhw^0)tq,fT}59j˶;Kk.řʼnm~;Z^}3{T#VtPЧ:/6H)HD|b5n;{PqsK:,:_¦;>)BY I"*Mtfv<#.6|rj_' wjDlvJjTe݉CԂDu2Gw/ưjFA&+AOayDc#Eъ}辄FXaY>ͪ#L g?$~$j ^Zqzv&Z%U*Z?WiZr7uwgYZ7zXZִF! `]ŗXiɟdN'LvH۹/W-m_M DWZMY-9 GdV95Ol'tFΧ44U d%qϾt!8&ZBt/:!2[+ s :NXRױ.kiZ4Rh,?[[/ (as4P-<$U "?u'shu+C]l-"kac35`X ژOl e;(gR fP 86yMz#ё{ ;G#ԝlW4!/3ielQ XP Ɛ8: wj³w:jo?do!9Nbx 0ڏOpg$C¨F\ tkc'My4@?o2,)bhY,q޶_l#дtRg}c$^&J!!N?& tBlcAP¯CPcfs`JF^hFzX.C}UAA@ͿГ:sxV /T0I4@Of |kj Vs" \_d{ B/l#@@>'s?*0:LH:8ap15J:lτEdžDPsoIwi\p]}v?ْXW-H` 1hFiGבFvj ­N>|D]?gm~='u[lv0|`?q8>%[Xj|(ې+NX?׫5p>$3] lʊ6b3%m8\ת5b!@j7-Q k> ̰yG7Y8PFYgYZ700c5215997716d5d9a6730a6de77e1961fbeff3341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 895655e402873aeefdda066ad22c92cc45c3eb2b  IOA