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 lI 4 ?/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.094cpu=23.352gc=0.280factor=1.167zXZִF! 7]ŗXf1-/6vR[l>ۋZKY3;LBc<'7*HJ)lV(3(eh=IT%_,wqrd{%7/x Sd%gk=IE@:#~.04^U8j#eVpE!G؊;ri. xӎ8K`X.j!{*{iG!N!['.JP7ˬ[1[ߤ6['~ =hK -l aҎFitLOx/`PN0xUp':ow2uS )%έ3cp)5#QLv^Z zX~DB wb:}3Ը!—`',00пn="'Ԇ7Hڒ'0}24P:l)k՛Y"fF f lL.ƩFjA`Q^!Xsg"=sP 2?Ҿy=Y}l X2ϯG>ծ$'UWymI7cp @o[^[y6/Leĩ^!|: I,ġ.g؁esaH{W`Ct,}y$=7[@+;0mޒ&,aKg(Q*8;ZY_tvH锹4LEŭV( 2:g=.zMr͎:ٲUb5X̻.K>=ƆNjx~G.#15D9Ķ;y\fީdpJ^oꗻ:!󾙵r& |J)MM`~$.򂖽֝&hm|{g΍HSD7YBio ugYZ7zXZִF! l]ŗXi%q)gi ZzehD@e]^Y͖,lk4SK#3U+ɲ EU _my%(ʗĎMͫ́A A]R!..Dl5P/Ij`m^ۋźK?tMjM#)\w"'PQbeC p2|Ejl ;K$,ic?edE{M(Oŷ'J%*\RPeaϑE=G9/39ʈ&7Y1`V X%f]!bw7U^+@ЕB3bE 5tn@׌ Om$䙿y5*\C/]yq("yɑ8ڔ9r*]~CYnX*]ÈAɸ54JxPvisReNkTӛS>=D{&&ѝcBA󖹥 2m }x{UYVd^!_:ޔHT(AExM9+1)503wg^s@Ӄf ?]87\`ؖ,c@xp%*Q~=5z^!$+S,Z&e7&&֝Z;#[jq~#?fFD5xW1AVfDHuWw,vRH P׽Cfw|tilG9! \*dnQլy6TR' t=4LB$EC!rcc}:ulC[o6GCIBVw >#gkQ'cNL̺P^(AÍi\*À DN[>  @9B>e`2g:EXc<gA?=yщ~