SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 e9 l4 c/ Card_Number_Partitions:threads=2elapsed=15.009cpu=28.164gc=1.008factor=1.887zXZִF! 0]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-IR[UJӽ;KmbWߓtZnfXiL <8.R䄂/KQSP**a[QK*T;aޠ0B#ن24uACȁ 3-7JO`\U.o-๤ r'F~6Tr{HSIfVv1@1_n7| @톬L&='%R!3J ko5 c`Y{E4X aC' ~5(VGqk.9'/j%t6P8W)k6G.AYgr~~}@4wBkXHr0A'&,N=+q0A8r/bQ=N} Y0lj28I,le4Da!Ҭ V}wcYmPf,?"&[fx5&9pX蛸76biA{!rAYT:|N6EΫ`1 vgboثGpDol@B47{Upme~JD"3q_`߉\/h[u#{\ ˼=Q",l1?9* a@pC'3Sjv-݅=ng%JS.mCO~9E\s`(hPl:67'6B=f@Ž{㇋- ĦM9IWw@#y=ܠD$wa Pi=*$&F)"Ei)흏K-OS UEBU;lr& ]T!0ݹzw m4nj<}[}[q_(sOޝ n=n- I:fAR| &\XdeŴNNDŽOދ]NEJ K4:,-D&USRg>(ݑVD <]c0_PK#y!vh|ʳ| " weXQ8Z4Ow4"~#)rw:g$Ms}ܭu#`6kJunr M<& t8E:1iO'RIZYֳ왠 t%P?FtH YW$: ח2O*cXn}V[73A+TSC3y >՘;纏9U\kzJ^ o + <NvmirmCDžn N*]'4%g $}Đ2kSa0,f}ts^q:#gcu̞ۈh$T*CH{q~AS&at~S7%)>Wj~å$/ܑAȊR5s#O3/\DZ7%IZ_ \у(ɝ^^B۰OK,Ht gӳ\gYZ7zXZִF! T]ŗXi%?5?L=ɢ; ݋,m;;;ƫ|*\h Q_|8ډ|Ϛ$݌[CJӉ=B_dT[jtM/9ߨr3.tP1pPoc%S|oJm-_I Phnٰǝu+Tj,fUo>/'occar᧚"E)nneoMürki=ѾP"M)k,\x;e!]HAO*}F~/LOEMzMBFOrK=_?v4(6H]5ߺ,cEDYtwD6 HCLS|·~b+RCoپMʈ϶NTft`*1y{|}Hz<:5l>^G!pӚMbBfbpd$24Mlu"JsȉĨ(Sd[RDiΞq73J$F8j4ȁw2iE& 0Lc=f+QvEAt_`ӻg3bzVcK nQဖ$mKKj/huO 6[$l;a;E4t.W2Bom91J27)F4JRP.N z`˟z_vTF\3nc V$Ȉ 8Z$ nj^ka4(rz i[~{,La'^i6 l=bQ0]ou7e8XDC"DP_;sK[n7r.)IiX&\l^SQv~X,&*6rMCަj %tJ||duۉ|d31t0 I*(gYZ1bc701f8eb6474e542db12a6b783a92904024b2b 2282e02f0144c61bd24ff0ac0b3d9510c8c94619 34221437a109a5594ba7786476b5abb5979a2647 352fcd7b2fd91fb8f087b863fba8c3715e90f859 7062f6bc3330331442ee719da0d76412d11266f3 82fce86746f9061205d625fb926c1da3b71e3bc1 842fc667fd777ec640e145e7b6a5c8ff5ab0b768 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 d590558ac27bd56791168a8179e1e46d592628cd db53f23c149dbea6f96962be995a01549beadaef878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449