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 ee' d4< ] HOL-Cardinals:threads=2elapsed=24.774cpu=44.652gc=1.856factor=1.807zXZִF! 5]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")TEe }Z>m𗘞Y5$TCpN,ؐd-X/^K)$MyBQ_^7G@i KZ>4́ma?݄e0r(\/GGͿ*$B@Bx P%sN|jiޠBR<\1kM/25Jhz˓0~7L(T$jVpöy(A-sQ}0N9ȖЇ_3E5ͼ#jDIG^ 8Z=O'4\gào!ԁdV~t%IVGLDd ?4ND, x“RR.==WRxú4'ML6)?pO:[ b ԕM«a}n%oF̓VqL1Wݻݳv~>|s۸ͷ;Y]Sj_*7 &旉ȾOBG8nԕHGfT(!./΅nV#׸Ew;치O^iK~|߆:G"O,7 u0| VgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zui,~5nKynTU|s$#|~WQҙA!熣t$[VR<9\r|wcM"ʥ.s5e_meugQ0VC#wIĩ29S\c)|c7+qLKszI)~"v̱scbĉKwl;%c-u;r=ThgYZ7zXZִF! ]ŗXi%;@sŰ4@U28a ;:.vd{Zʲ ;"ڬ;GhXh.|CS Hi2:uýٸ庖 B؋)'Bp-Ӆyzfv@֌U#ߚ' yZNQzL)%qsFH{+9~2/ ^o_`d," 6w9NIJRQM~L1q!,1M~Eku q~hε_׬xM}O#E*&m#?EȣR9`u~a jht֊2pvBa*fC+Z,)5s-E@~suhT*sp$9O1r>i~ū 2:DAO- &,xSPc?UwţoK$[uzPf$C8o^Z{䯨> IAL b$05ֽ<i%hDD\aCk_ #+eѐ+j= jn\R6tZy%R4ie4_ة @-A :^85.SepxǟiWkT02rW|%bֿlb1FH @r:%Ov1/[$ynDl,3`lu7͢:3A 8$*V}Iݜ)%rQز}Ý w ʇ!ܦ̕`s&K#35"a\>nƒGƣPS$jQ98))a5p|&!]QV tL~zp VP֕V?1 +GVCu{J!xۘF

EHs@T_op"u.G}4!KG  L.kc]Ž?,josZN2%7hk]Yf2ϕ;_(,XAuK{u]EVFV4#Hظp