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 $9 \< ]/ Locally-Nameless-Sigma:threads=2elapsed=41.104cpu=70.704gc=2.648factor=1.727zXZִF! !]ŗXf1-/6vRZBh S,Xf³@2 4".%-p|0ɀǘ1vdzi(" șYl+ c%vU`8/'MJ8 Q/wG hZ pvم ^Cbޕ ¼#}K0t-OB/(˺H.HmGQ$dm%dQMl4=TJ邓|,iA H_;B]a{8c ` vCG[X2R'$~Z2Ͳ%zVI辊iT/AlYO{CX\Ѣ%fZb= 9 Locally-Nameless-Sigma  Ȗ0n9$4Fv>;TO;,FْYT9tPjQqo{rHȇ߹n6yJ㒹(ȗުEG-}h]Eb2r1{ҽ?:h~#%>+,H[44)It+_JGK[D[vs ru]*&bu=#K9݅u(k)Ua]rg8 T8`%e|12}ܔTӷjaR;| O៭NܨƓN}vh9y4FzI'ʏLQ1J#`Vr6믔C=gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXE<8FlWMj$BB|m}#=Q;I,[lWb#)\(j:yiף6nUcBI`#&CMq&)9 fOA1笐H~rٺL,nqbJ[2e4HIצDq yJ#;PTD־KX$)~ra5odgYZ7zXZִF! F ]ŗXi%>go;3zW}⃤sٹ2Z˄iUB*gb'ϸqis$#}D絻x_zV8&P(7^Eo%tF[~%Ym΁!^wecULpXrs y>t6dhnqBũG":H <[2GIVY,'rAhng{U&kw}Ƹqe?f&>*J4wnZo^^ eqI߈|Ŝ0WE2 Y٨p0^Qڐffa f{H^N"1sNmNGlQ %1~ ̑ѺB+cL1TYvS ]=6],p*2(_rqXFV)\ e9 H= gWS,v 9WڥO߲Ѷz<q]TDQiq\p^6-)C  *kX'>QXFL24]$F<ޱ"ϣ,%۞WaewGJi^]I+@7Yh# M XT.vˆQQ5w&EBWÞ\#pF(dsp\gUhhlaQid9u*,:!hRI6S]2G\Pii~[z%B`dLp=&K|$_uz-H!~]<]|\Ju`0vDiHe-vO].C &魕AMyh:W:<%7 /=SYsԆDEn.e1^1TVL+9۪|[5>/J\,] @\RV2À|>h{ZՐJWi{OW6D a坄8A$}ARWp$q NeVçN1?3Ym#W;,x8wq H3D_ƒ+Tbh MPahuiaD/ ^NmÏ=S>,[e[*O7/bH} Q]Qo/B$IqU픬@3H wDqdlĔv}Mۑ#!=P.&L7 eü}xIHmMTx4=0\)g?c`M{\ jM0%(i n殳alJªh~Lq-ɹ$ڕlhN]|سM$9:StÊt.$mq\ }lǁO4XV~jfy?WPF9P2mZO9rw IykW7 [tULyF5E5ir崓K" G XUxs`/! 4&tM\Ladw0 !*9D*FX/TܶBeXYMhFvASj"Ui/P.ӻƤw&nf>8#Q1ma 5_,>+X9o,2րNJ"Տ> }#m0{!W3jT(3CEol&~ߪ >\IXHsF;yŚ!/iSP7+9h32TYVZ"ͬx"6Ӆ{QZѫ^N Jq/Fإ鐃}hӴ-ҙ9=OI0PLJ:eA.}K+ pq+t ٗ lWZg* {T[e$Oė^aj [!VB=U^Ĺphq#*f!I,@?. &O ?,5Amb+jWF=/gWs$!00 Q[!&jRu_H)?6Hj ɩyV1]V)  CዯiݗkORUo^7-kR&ɪ&/B/ Cܝ0 6fj6ְ]P'߸֤0wE$#6䘸-}"{+r9$Vs((6zǸU. pgYZ2a8b1d57701c221fcac69f4ae6e04e36710333b497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3