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 |1 ll ]/ RefinementReactive:threads=2elapsed=11.676cpu=16.528gc=0.464factor=1.427zXZִF! />]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KJ\ gb#Pu=&Hfn&ݍ5o 8dRh@mP<v&c!݀<s .jH2= -FHSұ F_!俐Q'.hQ(Ȯ''*\>iʄ ]`Ƕ~V ufP1x7`tG҇B e& eKo nM!0`~cDUd gYZ7zXZִF! o]ŗXiɟi%3wJ3Oуq;l "&KDhvOи6g$GOp`^hX-3p+)w<(ĉm隣gYZ7zXZִF! H.]ŗXi%;уw%{wQ[>sCl{רc%A'Wls(>緄\~zxfCT:~36AC)8ir s V:l%0{S5$1=/dor`*$oզ͠0 )H 4<[f0Nbt+ v RR@"ǫADLHJ]Ƥ/Й ר/:=5~:@i.4[kiFxDJjxso8`ix71_#' ~+F zxhYy$ ԰*goћxDȘ[VcehBl/JyܩW 4Ƹ1xFZJJb+gk@DŽQiE$7^ELJzaDZnՔ⠠[!.hy[է&{(&G`SUT(`;퀨@)7Y!&Dm$-LdŨ˾n;/FTn d8=SSAC2a9ʽ)"l RLp1bRnQv4?h0(-*gC Q!7CTCrC栾|=#1XXCb&_DH'Ѝ#uNg eլ]fV!VkP\eSw㼄?C89T7XP"" 8vE&ˣj%6n<-oKp3cy[ iC}ak£ VȏSը; AJȷ<V@9NPNGv.O)>Bd\bL)Iu¥-ޏ#F-q `JKI.5`. G#U(T F.VNOe~xl }fZԱ> ޘ