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 aa+ \|T ]/ Card_Partitions:threads=2elapsed=9.701cpu=18.756gc=0.500factor=1.937zXZִF! ;]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I(_'G9Hoϻi+!3ıuvq$^7/w|r;[}WT3Ǘ.dHH_$1"&@$2 ¨! M6մ~cжn|sxK|8;Lzp+ 4@0jfQXhpd,Uyfp}FlS@_^-*",y,ޏl2PN4X&. )KXk^1:eL|e*(jnmUrх~ĸR[*hDn=$cWqn&x'zhРwr2Q;'=xu`ʺjlS7vd8SBL|q_M<,LJ#gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLSj`2Phl\hHrZ!O) xbÑ-jq15&~n`wpu,Lhe @Fֆ& "VIXzRZn] U0#.Hhg~ARemDzb fH9OG\TpGVN9ffDr)|=KEtw b izS`T@gYZ7zXZִF! @#]ŗXi%;Ct{lHm&xdP Qhەm:S1lzNC]*BM% D7}Chi\d9<% u4DT| 7}͏y`M(8Ete[ [,;ы5ͳ^ O@JbH#l9|@%պ$|eDy"4SqŠ`'%vC蛌[):d&xѳDMO Ty`geߥlLOXHw]FШqUO=?)aps!2'"BƉHW]Ip= 7V,n$!٭SQ'Vzx瀤k/p&qyVYfW *&73>Y: nfŚϣK3,Հ9:3pfp5O@ S/'m0q&vYh2CڿAawIaK vpn XU_r|x')yHe%4ф3[g(o(Ա6SQg$y,uMBH 6{}M/d. <_%\of6VGMg*lcPE >Od=8͞W~[ s+gYZ61e3fb85c161f2ec66197918db8168c43d8a6d51a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 + Card_Partitions