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 rr - l < ] Lambda_Free_RPOs:threads=2elapsed=17.519cpu=32.280gc=1.264factor=1.847zXZִF! /]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓJ\bi*&Oup)X*v{a9ptͨzYm(?N̹O\3y!;$CUOϺc9'_ڬB"4;=0KySu@Og;ȧc8ihLڧʔhiuY.k_i],K4BګsWq7&:\CRJZUr勨Tͳz7•VX_TJxf\xVi#8 7%}T'7al3qUݼᘁUVyF]nÝmQ(J]ްyC+HBsc+t򙐓vǨym}BB;]$̣͔*\SVV@c €@b2=+oHDs#`j0%si!gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"‚|8 ~';s^o{!TS:U3U.Ѡ`!0Al:W;+*ǿb5yjht4L 4[9zΜoӟⱗxW ƙVFw%t,4O56oʮLiX/ r +Rm4=rۖAOSgYZ7zXZִF! g]ŗXi%ή++?pqL; A_e ILG9"At( : @Kg(HW0՛_l^.ܙhBuc9#i Ä Z2n`azot/E荋֝q_*~HQ;ƁK#a/j1Im@,PEY ul+_R_)[:@8^#*\t0rʺr׀s)Ш6 GwN+Az74(],e eڂp.>'2h}4F?0kI;5bl/txF;@Ru-zىT_YdG(V"Arb`!>m=%yYBC\z& &W=ԓHL?;!ÁC ks#ec).Y'}M(0^aDv *i{u科WAr_'#H&0Gcir?-bcko׼#.M*5;Qw bVS*MKv [4m "[/hӉ˓m7 Jx3#u)O{t̖oZ#1hHȟ:hJ;(V6JHgp C:6]<z1D~GO^rltjg\()H2'4cQиROP9fuJ8 ӄgJAjz\0{[=LDKtnWVBZoxv\ߦD0z@rd2AuY=)s U8x<AҋTm^V'?,|0ovbC|Hs|s$ȉ3#07RcgJ]Nxg"$P{ c~(N(Ca42q !t!|te%CΤg:;n{ZӕIu+vP ߺ ӎˉL'w8TDрdxLINk%pGE" `H>n^M #UE ayhc+#V8]U1_|¯T͛0Yu 0)ϞD* CGKd1pQLPȡYVT8fBy\d=pC+UVU W0µ*Y::O1j?cCpW j[ #N8AF_A\E۬O uʵ:C-@/jpn=y@V:i']r-deb,ܲxU^Iy}!rՖMj> lvL@ϯ{Sʢ/h'("EFV:mgzS#}ľy]$Y慹 ̍cgYZc995d5637e84a16ea3febfae44746f186317f54200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c - Lambda_Free_RPOs