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 V 4\ ]/ Tutorial:threads=4elapsed=19.934cpu=64.444gc=4.172factor=3.237zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXg4 c@+*|37l/c Pd ܸqR/h[   Tutorial  rWYyO}bwtzY1h=l)DS`S8=Q*UE 7t$,/`AbDZ-* 3["7A ]HAYMBs(h<DŽ(8egݢ0K<$)i ȺFX/ A.*TP :]qڐb탫 .aWuPЋTV+MdH=w'Qgӈպ-+|Mkp'qԲQ bz=: D[z|׋DĩOTL}e4[VIGUiY#ͻ~=*(63 단Mqo+8&n 2^|ױoj f9ѵmy]*Q;4\=Q8ꚳo䇄P3w*׿ckaP V4g\`$GwXhPu`%F} 6sP V I7)\3D&TMv$N /qD5 :=/Ћ?y3T'5 "qύڊ}< hxZ{’T.yNjG,jc&DӋ=eJS 5La-jdK[u¢Ffts?".M P|֪8ᕠv/Dx6xX;nFQy5akw.'|Yԗy!}&;rY8P=`W;_<YMtԢuB. _+#m{04\΅QЂy4 ukww4:j3ʧ;_lK2`;wu17췦I<  ٕÔ>/:+1o*=X+xEi_, _' p`*cix.G3y. bA%>Q#!ypNPXjq _m3 a6#a Cآ=~C ޥS} KkgYZ7zXZִF! l]ŗXi%B8]}`3Б(CH2qNY |]D=<ÅT*\@G/U.sI^h)(6Y;E"[ (jjh{ϼ>olW(-G憄4( * ²OsZcJaX䕺k1}`NfTr(^4p>+4p:B?/tOdXD£qF|GZffhXK&yX7RD0V$%BQ=JC)I2@pұ?垫TWRS8,EUB'M^Ҳ%Dwb7(%K΃=^32˾CCK*7#-N fBcmT?'-y.q=jZZ%J%6kڌ6ҞQw+W䞼yn_0uAF<fr奴&sTݨܗ2 |bN"S`1dl.ړ[