SQLite format 3@ .;  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  H O9ag7iM;T+6E}F؛Z_T?ZYL] ٺG)02I5I'B1@MOxO?<Ƀ[Ԗ^Flƾ EomXm"^+{+_ָ=.%'Sa w HZoµCUא2+)BiI .ΉЯZ޵tƙcln)3AGm[N8B|"2Z սN iФ>>26o|lIy;gW̿ EB-ݵ1q2 c11cRF'6a5rB1q% `v/3O#?ҔȮap7:/Nv40"zd1oRGy<@?Q0MP!0C;%+@y #WT4DiIrUTe:hV9H⥙mnCSMNzX.L-J}&o^WphaIY(9 ֈ7 uE_YX]C|]=r$| 3pe앭 [ ;gYZ7zXZִF! ]ŗXiɟ}Ɓe6nMkT6իE[-,}̔ϳP_9*Էнm M~J[ ke[bHfte@$ַVf{?t LZXȱ5d񥋖f0)|CxM0Ell)[-m T0Q.Fr+ҩ)xX_Q?iI'X$klh1;CWKp-,iu?fFj4g% "2!r0%+譠c4"/ zIEh r1ڪZRց2ݞa:Ge@g$)ة-̖ σ*vjX1q]V\Ig%X 8{(fNsfqic|38_gKLj@t/AR+Tll^ok1l+K!0~#׈xVTo2mRMNcc-oN#m%/vLQF4ᔵG?9n=K o4yc2 7Cz C77ļR)&@˦ίlP ]]謧 ` ؄ ~!nXdK +_Rtsk%1\n-kiGd1>uYȎ+3i2*x~'oZK$3>Ƈ-GkPv6gۤIT_>W}2\x"yڃ)|% j!C֌U& BT ugyQ{u昗a j S[7Qf+/$'rokljrPxPbHLr>mz d?2cÉ I%8^sd'YPV4`G.z/";= W mZmYE&?$f4_SΥɽŶ900!vp}ot%R˥`{v=hV+s_lw,>zH  ,o+[PpJ{:&MBj8 MbIΡ'~ _ƝvZ7Pf?txꁍU)NrPGG{qd/AMm a:B%'оFc: ٝi:=ѥ$[/CU,2X[ L`LMo%œ7v6勫V ъO&Z_.\o*K^=VV.?ӑ GXϋ_iiH䃦A{BRAj@)V3ZB0 &q:V猘'"brNU#\9YSdLq;Gh\'y!7;l5%ACwǦ_&VЁ+AkfA LM9jmS (Wdl  Kw%>4&9Z`c\:GQN *$0\Y`!aBKja^?1&ߐ{8EwVp[qhvU&4Jr]qU$8+3c#{1}7#VdVd(hP'KqJBFVS9O}t=`1Y^, E%p|0 8C4',}wPX/үVw/c8Q:AY٨ xʶxz?db6͙yCв3= /E% sIqlj~ .|3j#8CI`oDZb=nd l`\kj/U;ir[Bp{itC]3iF[.{v핔oh%[bV*lV y71r}3xz+cϖ7ep]mB̠78ߗ&mD>~'RzE&. ׅۤmD]پ`+_LrLXI<4f3ԅ4 9 ~\Fw;3/ų@*Sgل%oA8ql*+G?6ti洀/#{jDorAGAL -;[M0UH ~ŰBʻ힉4 Cݫ nY_ dF G C_SrFSZa {oEP&7t9P n娶?UA i׏s ө@(A*X+y{qeuѰzHb#<S{195MpGZ: Mo2`C6ȷUGƎ]񙡻rVe>x戅.ەL8C&;vV#zSc>Au8߾k 0svT͑/ĺ!&uЫ${]2pđ>h] %FQݍEI,A喹rođli^U\ɱ\qƠz("! ]QVD [d$2J [[ kB6aĐsgYZdde62bf7ac18f1ce5adc08f9695b3223fd43189cd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a