SQLite format 3@ .0:  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 J Lll ]]]ZF:threads=6elapsed=12.003cpu=44.248gc=2.448factor=3.697zXZִF! _]ŗXf1-) enȈA"tr-j. ZbNVH;Sw<~?/u>$`4S8?;^E`D:vՙnlFDtKekl޴Ԙ^]W*cm0t;;t)ύl?\G#cIcEh#o+YL|M]qEIL'9Zf^qnZ`Gԫh^W)Ym8~`9*]X1 U:p9L ]tO8u ÿplf~a+%!E=CǃZ}5b&aY[|Ƥ! jէXJ:\񀔏X:xn@>YQOɐ)V1J}-&[j6jEcEviuLG}'Rݞ!PO?d&U_V ⪔אC4˛+1-)LDQd]ߦaTɥ Q1qI0qc#&ڤcgYZ7zXZִF! /]ŗXiɟ 1FE`空Eۍ| .CY7I$ޓn=^>nH۸CxPQeF"m=^hnAs6^z<,_EB}bb3eN#ԥ,*Z9ig`"ё!h_Se -wK3I,*\ Y!nsIrE-8pΏo5B`_#+2<+Xd~bUZA#|C; £_%B ހqYب5r:MH$BA{bGtvOdZ(-gYZ7zXZִF! C</]ŗXi%+*|/!wv?LH,/>BKUl2hё!!?XgReU٧TUalDm9шELpSm)RŁ98F=9~_!9$; (F aݿf Yr>Ɇ hKZWrq1noS4Ȣ M-p{bVQn܁E =S[IYOf )QʟD 0h[ӊK؏#nyԢ"uסG1RWvo. fǻ,{SX!k# 'ӳ88>qtY˜:vgYUH]Caz3ON̥|ɶp q~ϳm҇2XCϽlL˿3'\XKߗ9uo`` X,]]r:19mnWB%e.b1|FL1Iϫĝ_IvԏJp9;ATZhyF([ѵP@ͧ!E̼eR^b;w \; MÀ6|gT6EM@`R]an_ 4zceNHgR`/W16@(_n-= hj9ѥا˞̷dR"n"1$,P$d97\Ԛ!Y:G̗4䋬e)[T1dSxPm2˒Wc..BW0mU掠pU|yӮAq,b`J.r`zUs~]f[^-,iU*\ -q%C{m򍫼i\5P_`"]IR㦌 I\RWiϦ\K`0(zuLD f&<NNmyk 4Nef"4m`b.X}OԒ-;fSEסMN*`Z.KrkWD/UݷĭB)yrpC!v-EٌZTiњ ClxV>2u? K!ޠyFG7ArQwhʒPhh[!3_ Ώ +f'P7[Q&q+@{{S)OqRyowեV}D(Co/[Im5 SQXAx3#)y8YWe4āVWDDw;>UgRVc{…,њPY9췱3x`nILFHaq#6)5*}fxO@ؒ0qݭ^UK;Um7+lsiZQP$Y 1ngYZ618e6c63fcf1902b52e0584fa0415f86d2abbeaca2d5ff19f237a41b43ba3fc24c0e51d3bf4451ffffbac2419efae4b8e2231324108822ef8b23ce70  ZF