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 u !k,ULg9EzCs7fD~ l a+Ȝ~(Yx?2M2gq/:Fvzrq /CF(WdfM |ì#&Jg<{!NI22b3c-\ _9ÅzFaT9eLoҁl[ fTRkX!j;DhlOd&݆=M{90ħ7F "!E6gYZ7zXZִF! Hc]ŗXi%6y4Z1Iں+;˯N/^cNH4@k_2xs8c׏^ߢy>r=pzn{k^ MBTɜ$?:a1SйX%sDws<^\ΑPQL)#9T)pş> Ea$oG `gVs2*8[¨ċUEr SĹ5UCG9Z *Qg|9l3JYA+<,EG !Wc k`TsIHf'y*NJ6:HRI-2[͑EUhc53#pƄWd $!kLiGM` 9TH)Pu kcPIфYAjۓAt{@K&5F_щ Y x R\J}KI#Fԏtf>zI1g0Ǐ/*Hc ^ zO#nIF|J:,q+ Jam2BwN)I/-qir@N Yvv_Naw3)>O27j0(U/+Vn;Z1pdNbٜ 05ߑ~gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 34a7f72a04d173d012ce6a63b10dff605d0cbb2b  Show