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 mm) DGۮؾ;~6w*w2]Zzj^:H?Ӯ`V!fp=H`־/ASI%1)4k)'˞ @j5c0nB&a8msxج;e ttt#p٧l;6t-sBk7ۖR;@: lCdi+-]PS}3`>Ol9UsS^[!:(`4}mWy}ȱgYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ rr0`4s^jg5pPKʘxDWe`s|n+.r <9oJ@!U4}^IUҧ1ұgYZ7zXZִF! 7U]ŗXi%B4.`dAᝂ??am]1 ޓXwto2B_nSVGl{a7-3/9brpr㲖ftVe %#9RkpI V<$0 GX1݃l^L4R@~,㯞Tvj )H,: dJ.y]:SMɏK<9V Kg= ɷ:c7G^b+A0ÀRՙ9K?q`FSoxDZ)+z J cFaTrjU jCMd^| i*B(-#EK\ Nx͢x؀7jqxvgGP8ZF.ڐmg[eaiq9"M#!HwEf]_[ 75IWd+yw7>q$_^";M,EkD+n 5Hy7U'Ƽ rQt + m㹄oPd%?2[.44n6#&Qfa 9,ic>h"%9萓'4~omU0 b&LϺWWWEb[{!#z@Hnai$#$wиZ[;>3ӏ')JI'c:u2귂}C6JLQc8fWTZnB.& C3U-d3xnndzgYZ73886e1c648f6a0735367c5741a18cf8f716e6cf9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c ) Landau_Symbols