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 /-t>Y 1G!Z&,'PژLa̶u+D_!t#"Y DF*QBLDN)ZT½[\5X]}ăT>*w6wnqddJP1 - HOL-SET_Protocol  h{փ=@2M3&>Wx;D_5IV%OY2 B=/XQAbC}2 sESZ*Zta{؋]O&ͶБTa!%`wGrB/lT`ܦek}*nVFP …}=PywOSFν2. Bڸe/`=Գ=SR7+ns҅>vV<#w˭At?k5/EUSp.HG2ܸ˺YPr{Lc$n$+})#ա\qV6 g$&Ne |kUc앫CoF*"3} a" 0ilqacn&ށĽz40'8mnY aܞ= ڟM8Eqn0]JX.rc;0a>oo~r[OEތyRIҳܧ|NH2Q͏pL;NĤc1 ;XDUI?[2޼nb3*9)II @W/c&r„]Uȳm ៶75q ڡ3gJZ -lck8z%s`M0T:LElXY#A&Γ|Q" 14u7{ |QrBz Yz/= ^42}xzY,2JAmX]0 Dg+yN܏AM熾Q ZQªE/代kQ})039++[5::uo{'OaL:ETꝓZA$@ TKڐcGPM)K֗%B,Y#F}s{?UHC[r~n1>!mf jw3xSu>ÎWp^ï,d%x2f6 ?ku8@%ٖsQLUp3ֵG+o70_[)Z(c&0(.Bd sأ3BI 쇁$85,Hj( YTtʈm7 AxKL5Fge5Ҋ|Oc.[Rc|WHnϞO ;%bULf zQX $rnLUV|YڕKr]7wAX؜M`8 -vm4r#{L MxՖ }^0.Qd"E= jLJ 2>}nP,"`vf{d'fɰ\&^E)%a:7^pj_pP _ϼem1@w쎱gYZbb658563a88ff10cd894c293a38326ffea2b8966a0f0a66fe4b4e42af65fbafc96b4437732b5beb9 5df07e4c8a7f31eb67d22158450f815fe237af54