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 ZE l_GN>#o,["|2pR<"@+R(z 8GbX[Nn`4=1K- JMeKVr+BO.PBgjUk;y%ekݮ.%(O9d f$^zNQ1",UgYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ YE{| (<#}+rCNNdÒ,+F~٘qT*~?'j8+EMp: Yek ⥉Y[gYZ7zXZִF! x]ŗXi%>gEhXQ>8xEզ`w8MsIm-q$/Dͯps1y(u9[44;WHzxpx c*#tVj>|5Jzq/-#"+M7P/ r#, W`M_IXWz!qQ_="QA)J gE FL3N.4CQ8^[Gp_^gյt,mgc/&^)̂K$$G#LcRpwRuŃ[JWtcwHM2GU2p=f&"i76`AG[dbN Lz.S@Wmm'NG2V/肢Jۅ'9TK|}Q8^q|sՕEuM2 -3!>͖YmȄ)Wm߾0ګy% ^nF3e#c;i=5D nI>էcV6Wdӗ 4~??RWVgFQkja1d$eQNyXpE]sxru賞=ZEd":Hcסi+JQLrZlҴNa8,"X,ׄx( E$`=.sp}h"ޟ /CDݯ!(lR$^n`QAx$X ~>r5 õOgI&D"Qp|Iv(N$n7ʧ[X)rzwޒl')r+?7vk9fra? NI}--Cqeג< OyYa@ (<s~ʯar]uKBanʹPhAdQڑ0xGF4*Z_R \5LWbbz0V"a. F80m:9Rep&j Fr TVs# 68gg`69HDR6ar[o8;HV x6 s4O9'_e٧lc꣊x(E"nT:gYZc133bcbd6cc82a58486332a3e3b7bb78a7fd7b0b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 E Name_Carrying_Type_Inference