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 c' d| ] HOL-Cardinals:threads=6elapsed=6.499cpu=34.252gc=1.200factor=5.277zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz@nN"'(s(Aw$o`]1]]҉Aڴ:fyQenzL;C,㨟C,软0pR_E@ZAa(J@iiXnHn]ܧƤipv'ԥH?Q;I;WuHY5x'?$qpr(B<ޘ+fM`VV{Yaõh iac`}>(#Ȯ=/NVVq]76FDXUq te u=oβ!8lCdP!T@T%$OE 2Ox]*y> )Pu g{& McשJ9kKhjؾvg'L;Y-C"4%Rt$։gYZ7zXZִF! ;+]ŗXiɟ1?ߟt;9BP2CZz眭5 zEㆱ|RZ&5(+i5{q uXCoeE_x;%.Ծޯ6=41v쵲R,YpQ+|PKÎpH9mcC,Xq0,P|Y}}0OwݺDNŀӨW/+ d nmI|} Sq 'j Z5_ `ZI5yH! #hGh ԭ_j֕Ia9+ gYZ7zXZִF! !x]ŗXi%9(R- %ķxDT\KKQ޸UZxSZ29ϹIIrt"0SFE? JNe//QELq,}JsXZw9h&|38k^i2*sǣjSv0Mpݬx lJMr]V\j@::zx-F78g(o*^>`9]|PcЇ{zIL]rge)? fVW ^z\G!3^{?ef'c.q0 hf?i7UB?)~ N89YK5+yt IPC" rkf,߄MfQ Ȗi4p%l~;{s</S?qOռJͨו@X/l0+NN= l.Kv!:qpPpwߙbEroA m*, B 픲Kz3J',LB޻䱝/32WpaH]ʐm(_~)LGs%_ZN㯜P!Ԫo+8ZeS)^ C1'МzDU=y<+-^\pSR76&L$\_ ec άʗлJ6Mt&bQaQ]:Ͽw~Hn/ f~:x` ];FƮ*@l!(KqݼJen