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 / tD ] POPLmark-deBruijn:threads=2elapsed=23.671cpu=44.084gc=2.764factor=1.867zXZִF!  t]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.9G.lV^eX,>>z5SA Xdá!8~2BEl=b3';fz6(2P(HW*êfL^ DPϸG~`s!ܰΜ/M2aʶ-Zo{fh9iH Bh,$ħwqs8=`FrN@ 5ۛt5ӖUIaBv4_sz`Mv^ i@;J{dK'/y4~!a.,c⯍*ߎ RS˓BNPsHNr(+AAdnN\KIX8Z sj8csS)(caUǃFzЬ{c_UTb7b]8X,A?@r¡:Q4iQ^"A)T|3 pۧ^+=z|9do nu`lvYGC} QԹ:3c>c) _dPa6%ʵ^OrהT.>XgYZ7zXZִF! ]ŗXiɟT{F moEhuFw%j)'1U5vHSA2h//)Y|\3Ӑd3я#5Ch޼o? G7Czg"I BE•$u?K zHgYZ7zXZִF! A]ŗXi%>g>kt9qDRd#׆ső]}vXBS^$بe~ڞnf{Εeno'zs^3܄Qo4@^4[爃߷u= cC1l %2+ܖIcn/Q7oȦTby嶐A&q8낊ã-uፊ|BcL& P5z_l}t'pR[Z37  ~2YIPX.u_Gw*6mOEuE1Ɓ%m&࡫,LG8U2U(.{|,8KrJ=~vtAJNvH|!Cm~ ;pQe$,'HK N@ZY)p|NzHdNΝl$8W/W3GWK%":o:y_ˠƴ;znn-KB[tZՉ C1,\CYGƑ F!xח M Jּ>5FV^P؂ʬ06hMc|B%ӕV3@VUNpb^u$A4ý{pK(msI]^NgvB=n<~[Ww=@\f8Cxt3OVbb{"on<1"K !2?iLwXt>CIJx9B|{ /io.3r}߸.0}嬇ְUkW]dٵ+= v1鋴i>}؇/ۅ|17Flr1]VAÈts"{b@QrtЃvtLY#4VN* 23d72I_l 57#O&1oÔ G7!4_`8nvRYw_60@qgYZf5a4fc0766b27df71fbe5f3eb711713170c49766665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b / POPLmark-deBruijn