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 I |t ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=21.306cpu=20.144gc=0.264factor=0.957zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXTk.0u_h܅` i*_I#bD)J_ʛ14FO44j")Z ʮn7i-Ns3CdmPs~e(FrYrHBKN[$OeMz)h7>^I>0X>vqvk)lܤC1jw:{㪭N f扚u,Zl+.z/^շFDZ |V>.^U_ ΋)^ XA lIxB,H?`%C"LYs˲Ú ~;LV%{rp )(1 TI%Eӟ 3LixX(@̥=*a7mzGH|3N+9( gYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7f=Y$ĤƉTFqdxXD wAІM=x{aC~&Ei1{䠈% 凼7q;N`nEM4x$ӃBu&KMv 0lEWTg~h~#gYZ7zXZִF! x 4]ŗXi%93%-g-cp@8 V aPj,a9*entx\/) UJ30)E@=!:d7l^&0iMǻchZ sG)a|H*J`](iBVXя@ :S* q>˙pSœPA7Cw˒%؛k 8hw.6eNY|PHKls$ wGMw*ſJ4s3ċ_[j0% ^5ZѮNhl01&:0R{ 2(13hj:ƍDHs݄Cӗ>laxʼnw/Y^2^\MAwN3gmk-<.rfeO$4Ln̏Yp&!0'OFx>7v&jlbf_~>3j )=kӖSʃ"@q8AS-|1W,;%[8"śs[QF<C۫ ,)Թk뭸zFd{( HmwՃe v9 o)e C  Orhˆ3ǥmC'k;q)tnI՟RgŪFI~\|_4QRm碍 qWO+n|5"LUMC׸ȅKŌbW\|AɤSސQ"H /v>s$|?m q|n=X016#$vH/%XNW0OS[03ӧ7AJl zAN e`)`mf|ݷ)zP}v~L 0x\"(S}3IE Wݞ㈴XF_5g>T$b|P?#)4>xXH#A!ݩOU|] M!͝X{,g _({! "H guZ}8uWq)g"1ْ `&'Gp^IX=uEq(Nv&+C1a!C =1:gYZf165f70ab604dd976062bb5bf4eed13fdf6dbd28a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 !I Types_Tableaus_and_Goedels_God