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 O' dT ] HOL-Cardinals:threads=6elapsed=6.555cpu=34.568gc=1.448factor=5.277zXZִF!  *]ŗXf1-q恈<-¡$johkX2I)']8PIzZR ףĞ4Wۨ^Gt:Nf24%A]Q"\SHY13{TDm7#1#p2 ǫ4P̢[DHg:e~"*C+9QӛZZc# ;l.HxÐb^W84b"۴Θ{Ĭn̟څ:ThmlO0ߖ  ^arIX:tKbV-p2C? @"?%[d2JE_h]{ >n%kO,_팮)&. WJu녂eTO Ȗ7 L#|˻Ѣ(#=E?skaQn"/CtR^]oXl_S`.0V;u(\vx Rx~Wh!𯳲0]!곎p!Fy_[8'$nѱgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 z >zO8R!£΀'Jpe~R|Iʌ*h ̳HߧF3TY4hg2#?E^b5|=s/~<}Z@Y+ ]JN#ukHd頋W\zGJe'ig*"3LֵdYI%F"kāeRLucҍWTcpE\xK [H"UgYZ7zXZִF! ?]ŗXi%;xo*\ Xԗo]߱8(Nr?b="4aX]$C! x%.;++ެʶ |ΙV~`(G0)V? [?Q)@֑[ WhK>Y  oѺr%2%n6tdA@^9 $a }+ 29]r.AmďP_n(9P\]un#(p*՝bbȂeQ{R "qoXi >:: !t?7/Ux-ijT+P}3'^9})W!A3ߑ9, < |\$[kfao3\f:ifKc tѼΟA;X5R>?~}b{B/ǔ E*ڛ ãn} TQ6M>5:pcӔf= cGy9б)dnJCl,gEX,>M2r"}D a; x^