SQLite format 3@ .0:  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 [- tR2 k#ݳ Y.ʂbӶ# ͱ 43@/rUf4WYvu!aK&QmZ-5clP7LAWn+3xWnMryZq㳔Z pCX8TEkWv* h%jcг ͕Fn!|Y0??_W9Es+uݓ R c3Ԯ5  #I`Av+L-gD2Yֲl{`NFN w229ɐC,gYZ7zXZִF! U]ŗXiɟ1˦r!q=4!pƹ $7# _2#$&YRrT1{=q~;~)e1YXd+Lk# PmHh]hvէut##[SZQ@ԥ",?)vqL\\aE kvD#ڧ۪XIAc p6?k{ɌY0Wv9#tqǜ~ީ<$|F<Q]<.=~oTE"sNBZvԆz4{}+VU{׃Z4gB/)>@/.3.ŗɱ{NYay$:ff#c[>A  q_N]"::5h[/ zk8lB0{kx0KF{dom/ %3|w4X*RNxz%!ո|SPmd?Ew Z78!of@B@_Hec dc{D+J~8Hgpz~S.r0~?oCх7)V()뒗ӻaf?r~ 2lW!ܡkK6# xd'PR׺)uiQ?{_dXVQyoVn٦ L}Cvg; A|& )k4viܰllSFX+ "ˡIY+Xd p[*Tpǯ|w,崤VL ތ~ר3NG4쉀IzO^dVGJU8.vy"Ɯ֩|>,V>dyfyA. T¥Mޚ3+J9 !6`ZEMj @*GY8Qp}hfς\=ۂ8UnHrUM0iЍ\ b>N?K2YnI,e!r,Οܩezsze^3gJ qub*K|;呾K<lF Z{3 NIC?pB'jH$`U.ỦDm2l9sRP^ލnlgε"ZMhlɾtuW, y /䊙 VU٥xz 2M(" &d"33QVvLN|gf@{X*H+~UlJ u@8}Ug3^rB{pLʈ0b S+w)<18?_dlEbF$\G(B8eBLg?9hw=sܐ :Dz 0E)W`d, G{q`|3s!kK2LO zFh#Oc| b%h[GV p=WNljLC!Sd$WΦ o }{/)R q9F,t| L`K8/=w? c W Yۿ1bB1`k$AaKE!/vg3A)Y< .B tWbXmkDHc>Kvi:1AC'CAkR*f&|xOW+ ǣrs7yýaA3JɨO W3(H X"[Jg qKjXglGv|ݔ<ߦ~PMnU \YՁ-mGS7 eUxv(|Xsen{QxI Qωf_k8uHVZ[Ņi;eMl@^'"Ō0%d@f%RW^4Ŕ |[US݊]խ@ңgYZ0d2f9db9814e4bc4ac39af2a1228f4c90b6bc9f7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe35a7cfb788cdde4d1be78f93cf784332fb7fef3a