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   ,L ]/ FinFun:threads=2elapsed=5.538cpu=10.184gc=0.536factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pu B_h'?=J[MD+՘'f|@\9Q7_xh:8z@~F[Y|^SתklGg~sؐ~T$3휌NuC>>}[5,`OߍXEHe! /$jFh78uDĞցvz F#gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5z"w&.}}ޔoe ec13xVD0U\OA5_vNb71 XdWwYl-8SEu6gYZ7zXZִF! %o]ŗXi%9(PMuyuv W>!Um<f[:o3(u4Pje q~AZ >W߾ifPJ}9k< Ac 00A̤8&|s*1[AyLSvld#D>?AJJCyE't;8ЍD3}V/K:g`g|uC._֋ ǐs@b)LJ$ޔ;+]H?v3YdZzo}q֎Rw9V1(d}ea׳[A-nLHfq{u~"t↞%Me+R<6-GFKw\@{zp?Y( ȋ7})5 =J,[xڷK~U2.:Ua\-4'O. r[ߢo ۪eN\\/݋0$sTO30)y_lZT PW[bu 'U}}f$*mvbPMIG=2y!V[S:k㗽!\ICG%s4;EVO6v?m5|">0 ?n:10Sc#T 6h/D &y\qp!mQS:}dշ!BaLᕛXfބJƬgYZ70326ae32d6cc05db1c02f6216e6d05a2ab5013c620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15   FinFun