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   Tl ] IOA:threads=6elapsed=7.513cpu=31.840gc=1.232factor=4.247zXZִF! r$]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSG 1l?\+w'xl5䖵j3vͯ愝]ξ| ia%}q\*%_qI+_` k6_\4G%\-3x{߭Q>LrS;FXwdG(si27+VG/+bl & ֚h |mMgZk=u  gYZ7zXZִF! &]ŗXi%>  gl "!FdaA9G++؆k['1Fem5Sz"`J|Ƶn??l︜L騽 8 <<<5Y9)RDŸ߾aļvx39B }d'HN e:,\GӬN#Wzw6O3j:G2V2 3MqsNJٛDpɥ`{a|KO>QUJ p#C;8rbe_s-z~\.J]T":io$驠ُ NzOXp77p q3W.I^ H/B| M'e۳<\Cc+J?A)F:/#?3Jr]LG,I#*$ZjRsH$yWwCla)?qA Ï}\b١IrTS9ijN2Lаq耆6I>پaRoaQd˝~1i`I*涑*IĪ-7[V,&)08®>oࠒU v߆yT>CMǰ޳-F8K'y٠muW^B'#>̨[ٞ>24\|p"<ˉ fJΡ;rpA&Iu. & '[щe̽VkqAVEo =W'@F=!SpniQAlQ5P!<>Z'u!lU$#3c:REvO=݉7(>L?K&JpGo b_(6ȢY0ʁ ș]pRY}5AvO V 2uS_ͥ jqD28iS 9&/TMULgYZ1137c5a55f5756cac00b4d93921db2404d5e322b963f5dbb395fbca1ebca428683961ef28be59393 27d8a2f2e6bd96d232df533b2f806252fe1eae7a 6146de5a9f290b41f9bc4af937143d49b7a1deee  IOA