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 @/ lDl ] POPLmark-deBruijn:threads=2elapsed=24.026cpu=45.088gc=2.768factor=1.887zXZִF! m]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L̍(6uE'Jhy?NqiH$ .AHӆZC)X!4F6 m"S϶ͦa)BT6pR;=lk͕偖aN{xg=O)8NZ8jfjt=Cj+,]Szk:Ȃ]~/[V Vh{X E/ăڏ T/{䍾3gqJD Ag-p]2 JPfa߾xӶCʦ~\v#XKnvb9]N )ꝼ* Բv3}nRҥU*ay0Q64-NϮpF\܃p1h-8?;Ν<#-!g7_f ޝj4(n:^焂5NC嚱Vŵ2V -re_@)zdN``]] :-Tx64 Cԙ@'BCt3'[U?+%F gYZ7zXZִF! ]ŗXiɟT{F moEhuFw.9l MIQlf C lA:2Fj40zM3dYh~ag$" VN.Z^\o1@.^1 eI>xg#cO;HgYZ7zXZִF! p]ŗXi%>gX4젧|bXί$_pO^zXU/V חP$ǰgٝ6a0gtx}sj?%hYPls9L_03/b(雚n1k8$,DI;,3rQ6?G/@ˀr|g?zj$sAr(Q/.M_ϪVIWoiē qcLp)\7Y!\K;bųY-vɣ\%2)?YC<;yו[ ޹>_-ױڄxG1Gmw͋Dq@QZM< @<.'Xp@ҕ[|.ң2Bl 3`XI()IsWNDEԿj9NwwFd_`µ]G4$.DtE&tL 6݃j~K =]zĪ d`<3&u%bucvQsOlLtPd/ƢO^~3OEe}P߿*4w))XYQ.JO"h| ]e˰t%'uf;Nׯ<ѬuwJY:K35hVn}J<'Ձ+FnnѳH|Wy82bD i0|5/ YIj L8p'~Kħ"A,l[&Z:n_k2tȟt4Z1٫Q`1*AE4\B0&F/ϑFyKˍ?4gYZddb9bbfab60b6dcfa1b9a6aedc8d1253831aea25767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 / POPLmark-deBruijn