SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 w#|T ]/ Hello_World:threads=4elapsed=5.914cpu=1.736gc=0.000factor=0.297zXZִF! 1)]ŗXiɟH)0%oȼpA`c OԺbqjGK}WmV2Ѹ}.D_:Cޘ=Gq%P}&f'w wCF:4D;BgMs5W4+)}_?1 H\T'mۆ~C5lx5"nl.BFYC̳}nlQ&ѝ]`}eX!|>- Si#)?;Q!h"ဏ L{=LAy@;v2+Gr5ZGw.e0 |oU}gZ(,0}Pͪӌ<j[ojk=c4pix]xUp3 _~dE)bK ~Z| Ԩ!Bٔb2'rJ.N?sq8{s+Ldt+rv3ijo`M[8!A]"F@v*{>3jv*_g&n]0X*4~jjIjfFoGv5>#)6+`N=qJk=`l.L{Vg8a!Ɓ紌ڗY@Ǵ;MC$1 _e!0`>>~ *uF$9?ab*쾰ewfmH+( bjgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML ȈKzN~MIO^[G =FwJ+[34Mm<"ZVI^6yWlniGygy!{()]j Q=Z,}͹$/bJ;ۆ_جqj.&gYZ7zXZִF! 36c]ŗXi%L!l+ EZcZʆ@U!EXaĞ[-!Iyy6Xȑ_{m{;ݳAkEPRՒ6x6NQ=Y9=Tp'D7#AT%&tsQf'6 J)Fb5kf> /mI1oP8=BR&o>|=q+)1š K"`Fԣ0DR ,A[⸓ZB)~޽X? 8,ܘ[ ,>mKd$8Sukj_ ;Ur:I7ébz^ Hk9=lE6//_qibsUHi,GB* _S92Uq/)D y;&m&|[%w礁S$ ƞ4ġ㽵ǃ8YVʜz}JW{˳/ߵeP՗j1-.=x\0[TCkרƢ k7#$=cu^N8HNopW[D3(мT];fts’SV$:^l7"*ZF!_ `U2߇п>wa20.wzwt'䖘 ֔"8ZHhF