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 33 \t S/ Impossible_Geometry:threads=2elapsed=11.929cpu=17.616gc=0.460factor=1.487zXZִF! f]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jh'f[A}j0k[/P(3nh&p>0%ѩ,>M Y:U]r"P+ZG-1Rlg+f=v|@""~ #i6NE7}~i=C4 Ht>,T%w)i%WY۟h^Y `6a2P; L0fYi[76TAy-B}=/xWqsN*)x'3 [y >i̖2( uèA@ވgYZ7zXZִF! A]ŗXi%6p6"|mJȽ[`RoR2rkqP( {7T64uwJ^Fb8O??Z7ˢQJD0,ݡkG.SyiVM;XujUD!J|CKB*tEYqlqJg1A,LϱV2u՟l? h68I۪VK<臙&]U21zݶN*nʼ`0A p Cۂi]jq9n P05ݏtBx M]Zg,ؾѻP 52G9P i~NC? 2}.#fu+JH:%P{F^ ľ EbGY=Ҧ~w̱Fhw'@҇sGR7'RĊ 9b0&bH\[e×ȈeI:fJ5P3C1B6LYKaR3 *8NuDr:] 7+ |l  ¾V VG*v˭oPsA㒌J(0KWrr2kgj_DX;h p(1$_ (r@[C*|& &(es{<.G.G[ MA8Swm "S=NEҵ>`vrJ<9%s$"OF5ç~RHv"`KRiQRUl=٢9%8vjT2pZ7 w"lT=gYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0eb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 3 Impossible_Geometry