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 yy/ dl ]S HOL-Isar_Examples:threads=2elapsed=5.617cpu=10.288gc=0.708factor=1.837zXZִF! 9]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9XMIYi:#%`c@vM(v^:~eަz/% *'EJilP?:s>ng% vOHykழu8]J?L.!ǔSo3Ϛ x5xꋵZ,&SoI {߱gYZ7zXZִF! k]ŗXiɟ1GBSp26llȄ)sSd#a$^Rf;Z'PqDַߩǮ[H"['qV-rY9JkU0@\}b[wIPz,@=m[N0 /)O9eJg%i|'Dy }a2ܡ\ ~ Ui}fHw/QÃ͠՝A+_W4GlYč ̂!J'|J*K,# mPPNLՙټk]=P:JIIT[6W| =!_z~p FAclm PgYZ7zXZִF! ,]ŗXi%96} B<!+ l8W~ u*o[jP|;g o7(@I=Ks{.e?Q%]a'm0&BoA&"E (""'P[[ .;0J* Uޟ[IƢD jvD,l.Xapr(xRa`nhietfLӇ)jwBY4ĜT hBz\=,ICO&KBj?Q >a]H &gƽN:c];͔@4ڑ5{pq|.KH@%E/Y(POG.)E!1f4@Hf#H͌3L}@ łf]мW$gxXS$!st7|!.PGYGmPεע^&*2F7.A̶ eh^ vl$"R/kG|0zR5VuYNfa9"$ s ڏO\dQˊ9W'>I$?. 'c E׻΀p[T%=e=4H[\YvFLgYZ11f98aa699978b3fdc9a9708ae8b162896ee6059ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 c93c98f7c27379200f4605dce1da2bb9c39019f1 / HOL-Isar_Examples