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 ) $,| ] HOL-TLA-Memory:threads=2elapsed=13.323cpu=23.836gc=0.764factor=1.797zXZִF! Y ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEDI1X(О.Y̞k7dU6W/|u}tih޲@rSE8<Դ<2 IL):U] k@}EGXi&A㹌gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWf {/Ј ~"]QI<;@0WDÆ OA57WHxpq)D~_A6At?h߂'ZȪN3"#L@ TPb4u%I!W15.OCc`߃钱gYZ7zXZִF! @v]ŗXi%>g9Wz0ι+w MS\  ye3xVm_x.T2E$Jɍ`c*i)# a>]_褠OOTKJ ԫMaEgfe+rщ,?"7Fg7HΣ y0 0A7ۥDFF@)PpwWa|$TYK9GxT+8`H9W)~$8 MQY)¯PޣzXzm0򴢙{s;P¯_^dtv4 {%d$kp]M|ϫ2#pmyw(53׆4WV~~'xwmSq[mFS"%_TЛP .S!t2Јy !owk I s)/ZQ0fQT}w, W?~5qUѿOOyq<114ԼANsd iWCD4BUmVUy;$&d&_?4@'fLƮp a[Uz;Ҭd5'$eUU'Q@/ qI,f㬳%5ۑՔ(uZF?0yJ?պy;>!̬ZWg¶ГYm*rP O)NސC',By"JfF#}޷ʎ6S ,qG1!,^hTB= HڞlcEWx{fK/ v )E XsmGbn4jM]|jNJ=_%qB65W 胦>x-FPI8.k5Vߝ9t9}*x?YU"  N] Ynj&Qg2HsX