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  G dL, ]/ Modular_Assembly_Kit_Security:threads=2elapsed=38.333cpu=70.236gc=3.268factor=1.837zXZִF! CV]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM 8'e+?&ϖRW*E=vhۧv@L` BJ)8"{ Uq%}hTJ:PMS 4i›hhQ}H`IK-P1|i; &Qz6NnYsٓ5,xJ?Z)'+1y6 Ѡ{uUMΥwasI\qsL&F7TB `) d}Q-S)#K-ӮbJ ߧ`blSLiޤz"YGX } *!B4@/] L)a1 r  M2. /TYO~b~NBJ ̎,:럜}38Uq6+ZޕA.jdt UO1M| w5v  G Modular_Assembly_Kit_Security  s +ӆg[lҹGҨ-+P:M2۟W5dBSlВ9R۔"|A-лW LX<3^O2V?`uV6}M}2Z1ʒ+ Y!6希a.UF0=ǟGXa^2ajJF֪\Fcc6:@-n)*ch&rZs@Z9yn~UM߁l|?QK :Fɕ#3e̪4}(4fi|Ե`q]5%OÉ?;&kߨUd )Z7/~-i(%~ڏYfy6۩ry)oU_Rd$rVj_E)/h̚6m;[ޞ&E`{Gݥ>r6u]sƧƪ[Lc1lLmwA{1g9p;x%nލbt5_YU#r]HǏmjl/(#?2U ׆@ȱgYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3K @YlfL]s\F\H@M5܊UEsOymm֘344x:$:a68.d7t%ǹ1'*0]1$N7z[Q@,(^Iwы ^,D_wkO]P{ }gYZ7zXZִF!  ]ŗXi%;3-w|yÊi)"ٚ%).MKΖyI}G/Z l[U_wTF^`љQrd;6b'v5//E-6kLJ;sN>Rh`ZXJq}5K"t1[;,Y wȖ2* lTKrϔmIŶ;bke+7.ibF㔺c"8BqDDNVZ$>PI~uӸ p-Ja%<_-9h&we+ZOxF>p밥,/ԣ4bx1DScI[thW]>Js7%^QP5|q7ӗ˼:RO#-eXZq,x(osFEH`y>_Pa춉$̋$ȏvpB/ )jsZU!p3`S/ꛕ Q T&L\qV +_ӝy Nf|"'v~f^Fk+ptl*"Croc q;}k ?y-]P+^EWp([vly0h6-nF,EkiUtG#QrâRܑ NN2qhӌS P"@h,Z*VSa,`& j"2hRo v2![\M!aq͎9)feyoz$%@];aqq&h}\"m ^>W[R1Gh Zn;mkc G a95.Ϻ nΞҺ9Z@ܯ2kUZ+|"/6 "%H6bCϾsHk`p)ZNoQI?K>iɋ .R3D͗ҭ139Of ~W!?W# 1nLP:" hlhӭ̔"Ǎ`UE qNC,*Fi*8Qqxw<%d K3]_0Q#;K#~cg*a`slMN OձVV7k+'Lrm"'>u֤Hޓ70̖ ;ҐeߓUm_=(Js?%2v`a*nL̎tg;g:M9~IXmio"Ңc\uḤ +Ϋ,cJJ"`*:O21DV] W1~@ 7ߧZ a[~[bmU Z}vPrrRdLNWňX-ʘ,]vGܰZn+A-~;xCn ¨EpO*F)Ub򽻈Fog*7#`j]*L& wny1u{$s8f7TԃyݶZ;)Cx{&_[ ~鼿qA.*iG x &(#[ `ӿZo(&,_[O V :X柬f [=#,i k?u%CPy>2ӊ{p ur^7э77D(4qnlф!q˺!Nۿ:@lmb=NC 5AWi5)*ut;Zu+ݢ}T".Q\c-ޡ x TCѠdﯴR`//l L٧H7!=¡S!aX踁g]{glv՗ ͥ\ݦC<ւQ< C4R|\fRrz8@ϛf3$crE%*%_ś6CK$)p<˾}ɚb=Dee۪Nx$+Q?;y;'jY8z^v_ @ S5Mhi5T10{OL;ekj8x \o&n6kI56KX1 rdU[.ذ[TL؋ |>y7ŠS2f98_P1!2a)`8V[znV)bBAcj2sV~ }Qh'# cQ[E*'jW] &=Ujvh) Rlt4+tXODr4<Ɂh46ڵ| Y;ldk %O6OWfs1_a>r]D ︅/W+T }Z]6f\߫bon2 gYZ01e05b29546d9526621f1c4b52319938e2ee7210665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee