SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 g+ LT, ]S]Quick_Sort_Cost:threads=8elapsed=11.605cpu=49.007gc=2.407factor=4.227zXZִF!  ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi mS@Jԁ*dzKK4!cI};ATc.cQmy{Ф[B%yfpY9f󥣪M4E C3q>,՝j#@D7o356YܛU]\H--tPoAeMtDc">`kC4;yQTBaQVlŝ"Wr7%Y@@Wٝ{ӓح8 93\*V[{mK5[P͌ P9%NGϜϏUz9ګ<^XCO߱W@ /'ӮMONxs밾7|BA opW~`,ãJw%sQ#֜Х'?/gkʉk 4n АCr<SITf |J}Y9WnS@xфOc R-^ԡs%SatY*- =ֹc")}k 6m*|v,bH58ՎF2yG`a岻Y%bgm FAՁ)3ڻB vWqqUC=Bup$@bdMeyyc2|ٷXgZvdwc!^MJrtXfe}']wƂ@LF"'K@i{Jgu6ute[?ZG9WPWٻe`2^MjkBq VeT =*CђLaݶJuL@5DiVJ7=aۗ<3Q!*P)1;wKBN38rPk4bU(~cO:kp8Ŗϳ2WflŽ˼ț7Nn:ThpAR_D9'uچC4[]#C8T`NSgYZ7zXZִF! IkO]ŗXi%>t{=~],` Aaop_/Vf_. @9$YG!Q\`]Pܲ/AI?n;)'^ផ>n7(T*dlfܽ\%Z7ۘ2/1~ְH *YZ[T34imRB*ت3Z0~wղk*TsEQ+@Mÿ9ЪCa֫)lPT-h".fۂ PoD(߶9 CD_!e\Hζ ’'4?yȍR=jr/?e1k .p _a$Y褽j5ŠQ?ng{k#2q?,&_j Tfcı :c&uB2>Fb6CTee]Wr+殀o4yF҂0ͺfHf 3;.;(*H0Ge$4N24bl^λ5fk 24AzN?B5!?bВr+t}U9' V_E%fgYM⟗MY7 Σf˂Ay \u1XS<Pqo)H*LƛndD