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 + |l / Strong_Security:threads=2elapsed=22.894cpu=40.344gc=1.212factor=1.767zXZִF! mv]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸ XL+A^3TrR^F ]勯wLthGWU66|;gkF#~ShVwN"6ЅKrP*VwkCw+VmL恝hoކCLל#{Fsπ ,ED2 v aNZw*c !anMKub lA?V=ؐrM O3qp]KT.f/I74ko˹\ӍAշbnTy[R]}>fLkQnds ;dQW-wOc~%66,Tgբ*g8'ZRab"%_cNgX , 1VN,}}%{.3~@}8K'مn($Nk~#e+DA;S@cZ?Ii&k`ZOo?Ńdׯ.ZjD Ap$3.789) w ik~m&{QgYZ7zXZִF! sl-]ŗXi%6xmqIZͦ]&x`[x lS%/jL JI!;dhP½p "eRJ=0Kbԩփ]܆ҊAޤY[%8wH2pBHM3/sG*/}Έg!R7Z8#rC&|&z5#(s/ߦO*9@Z+=*z=]޲ =mV.Bk1ʨnlrU 6TNҮԈ/Xφ49<9[;xR }#TuT?i=%>!I\m~hiKń1҄pP%Ty\&ĕ=sxRC2LcdSW$ajuG<"H-`QպҬqCz.ɭY5):oO簍 T+X5-F˘Gٞ>{5|O;?ŇXRŘf: $toSL,e$K"x3mm6/^S$$ 0ptOljfD= ±thuR+3J:#"R/ކ*VHhAtr@̲6>ĂJicrߖP ( -i\a&=D Rlf=8.,w<9~ "?|l"%u1%V>-g WG|$7l6)Ӈ'g&D2ʇVQZ -6%z825,o_UfM_Ek:l#,/45o]f UBf 6_T/R|'V$