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  # #Z-,L ]S HOL-SPARK-Manual:threads=2elapsed=4.547cpu=8.020gc=0.176factor=1.767zXZִF! O]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)`_k_(Usl(t(#n=jYlTˁivغ; br7\2jC|< )N)7$l7x1 "{,dJzSvI%O;-[k`=X.*d5^ kXpynT.uM[+3D!ݞ HuM l $gYZ7zXZִF! ]ŗXiɟ1'HGu C),_DaqKab(U7G4{ڿPs`qRU5C`5;E{"k g+9 1V/;a0E @GX+XHv;$,I4 Ψb MLeYkuΫ.qgYZ7zXZִF! #]ŗXi%9(Pψی1"ݕBÁqaBYk*[" ѥ> &c]K- o(v".)“Lguˁ35ړgB)Խ yQaK:N>߹:Đ 3,Oۂ)F i&;򩙸|Um߭Ի'Kg.l~@/3 K[~^.D &[_T] +_VL\@@ _ۃl8 bB`]KN?}!7v7_a_POww cj?1W&Oڏ:f[7uuQ|uel{oG~!MyС Wo1H.37"3BDĤ%tƽpT1Rǎ3<.Sǃ%d Zg4׺W{+i\6FŽqXUdߤ6\gh#4bc Mg,G=oc.w |DѢ]YItq; נ8/W}^=v [cvSW[EX` "9ZFHVL xuM,0Ig Ϗ(a(*~9~ܺoP|KcT )<,{p6FԯiϱgYZca2952de449542fb55edb5deb9c002a3f5b723e66f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 23bb91acacc9d33b9105d76cf48c33eb2457fefa 474f1d7c68ef0a1123f83e3a1dd72cfd9d8345c4 - HOL-SPARK-Manual