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 22K) ,\ ]% Jordan_Hoelder:threads=2elapsed=19.146cpu=32.068gc=1.380factor=1.677zXZִF! }]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvl 2$>)]k'}i#@0 8ØOoPyi !˴JIsYa%X߲ƫ>-n͏wt uE"^H4@ t*nNߋ^FH&Rd, oO N7O6uaWR|\uǬpi DX|XPLw Gp>YjM)m$y[\_.Yo*]XsújM_3(HD`ݮЂQlDND{ vYhڌ<0}mU03Ejڄ+^P ý =%Cߤ/TDe++*\m{؁LJ@'lɘjBlXA|8'3, ,d0*>%S('j#{-&=FhWKx@DQ/D]Mv;F .MYA[{4&>%2qNBhYj[u3lR*ɹHaL>ӏf$(_mNCrgYZ7zXZִF! lW%]ŗXi%>g)U4N7d\\TJʒ@A.-;; VV-[=#Q@XԆ޸G9 3X5d[k}UU«RԛKq^\U"s'+̝!L}Έd{LNu f|]Y ,R7̘tѹ/<.jq›S )"ե6D^u؜5mNrdZ85q9ggcgǽu0gVo0Ȝy*ˆk&7v  ܹut(X vݒ9/}S.BOm^N;PB~ @KY!$52C$?(z?;}.Memd8c\PLHD~w T"ஐ*DZ`ZC~.9qR8$[ Xq<,{,1f7FOhl):+UDrV[RSvRTXN& \Hmv 3ˀM"Ue)fŌB*! ҵFlP2IMtٽrbŐ"-c\!i5|#l@*XuR 1; @QKUyD`P W5S?I>1eӃPLlEo%=rܲEYvwc˂tKtMEwBH1kJ6QCTH=lH-@`hy9;/ޣZp?* Ns66L1GXlIq D>_(98G:gJC r0pgYZ1849839c4548e0d60c0b4d09859e981cc2c9c928665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 9fd8f913010b5a1187b1f9769926bd0952d3ed14 ) Jordan_Hoelder