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 99D-  w]Stirling_Formula:threads=2elapsed=19.863cpu=31.820gc=0.764factor=1.607zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sSi͑=ݵ.uJk Z/kYku3K9HJ_;ТJyx0c+]1-x4ji*v&+@0j?ˇnOr)ПnoS4t"w!EM9BRdy˺XـYq S~%;j@)+75$klk ;jf O-sPVQC!B֬L )Myj:HgĜ}Z%E޹" e~-FIKcE1;|t$pa"SD^˜/R0(@qumEPA=8'X7#U̟t9U@w$'#C F̒QKjNgYZ7zXZִF! i]ŗXi%6xIx@c(gFI;؍c⢏>JDaACn9'Ar~oE i1W27R͖.GլyJ3_ $JU@{>ט2^B7+.=  Y a tᅡl D#Hj]aǵMY=lج$0p@奔W5K>1/' (.$vg)?}%F07fgpWADC=Sw@FgZ/nf3n&e-I*"0RM :#~Ҫ墁*fNƩ'< <3½L *Խp` PAfjKO{ dAdgzv T|0[F%;߃z8|.4 o" x uD :J0"Y:ʓ(edg+d\ O/Y]"K#lQbcѧ(AߠgDžQi'7[] Z6 } *&Q/C$ej vXMȌę$,u ^(%T%O[m"6|=dR.C DNC:: s,tF4Hj")r,C;S{@"KR !gPV/v