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 W' Tt ] HOL-Cardinals:threads=6elapsed=6.429cpu=34.068gc=1.160factor=5.307zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIzA F̧FAA=JDKKnk,!I_7UAn.NTΛ}ü$JojQa̓ruB)3SC yymˋo^LL{&f7u ݛeE w'VV6M`{4&^Į I{Rj+ K,+@gI=bZĄ Nj/ᓖvk?'XydapnzLІSJ-LkבbB:W/jwL-A;ٱgYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z @m!4håeL.PԄF^kLlAEچif,1A< ٳɹoGgCQ[]D"q/еԺ3?1xc1VDj.สn +7܃PHQط4HuA)wM5u|ص"z.OYsS\,iH\+o(p[2XƳNA#Xw?P?4;9gYZ7zXZִF! !t]ŗXi%;ѐ`J^|¸RxTv^ɗ`0x>#f /Qэ[ "a`c{ 3/Hl#f qZ¢'p cNe/cFԘ+[DL/ +3tqnMo cGXbV(X;̭8qQ[ “Hwԇwy ՗G e^Q9Wc<2=xD S8Q#lGXH]}2jth&gO^_:U(xAt|'NG:T,J:¤ OEs(cѢJrţ:lg؊9$Ŏtȧ㣡ϔMAĚÙPv0t,ܣt^( weBLf6}gYZ28efaa0a4a1dbea2c5a9b1189c7b6d190aa757a06ccfd83e19ef598f6e27e356293c7dd9ec0a36c7 4664eafb8b95b7e524d9955d44d27659b2d95702 0efab43c4dd752e25759dabc7f6a76e0b445a3bd ' HOL-Cardinals