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 LL13 l< w/ IEEE_Floating_Point:threads=2elapsed=22.031cpu=33.484gc=0.596factor=1.527zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7DAkf*j?9*"}&vɅ}!gh+4y6芧:r}57!KR:)Q쯺k؈V=Nt}ɐ7wo7wf <8o͈PitTX0a2"ϗת`lꋢ_| 91zSB >J4ȡH 8vK:y+ZMI;,Co&$ׇ0z5ۨ#.a/1eKڃQ-2#BBOf-~g}>O ^A>>ּ<vXa9~ &cRDƄSkbQgYZ7zXZִF! p]ŗXi%}С*yM /(ݡۜ'DW#RkJd_Ӟimoն_ߋdRl钙Rv$P֏;ڏ*trQj~(UXiЛm.NUDGB1GXsԪ}wW^XH=t߁D%SZ^\NOmm)ܖ2Q_0xl+x@2ٌ_-zd=GFT'D U6~ )ܧ͝V#s&"o$hĵs:=ewƣC;;c<-J!솺UbsǙZx?M]H+ʞaAgKRbcR3Q"2ۢn- p&Ƭk@rMd}MB4H{ Ǡ[N0FÚ`[*fs>yr>ψI(cDgpnnbsu0^[f̹942k~ 6DVɌco^w_g91Ϛȩ3 чk8h9\uPv1 Y\u=`j#KĔ TtjOQ8#u<]SY"M#٥+kء@ޡlvaxy,rƥ o)TVIRi'^9ӽ)P0\'pEet02)SA!7Dɕ>md&O"IGk4N~A~2=p+ 0/d E+ y>սwu!r!bu||9e5HƴzP"@|5B}aQ+>GcYUy K;lO|p|@sq"KglCJIRT'|U Ko}p3=lS, ꠥ~#=ӹҧb1(Us}g5@5Al\'OG]=S6 8gtg&8, YD ^dx"ix,o};˓^rI(}ekU&N%h#n9Т>Y0q5iA39:Z|p^E9үj`*.8mvz ?֕gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b529690ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 3 IEEE_Floating_Point