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 DD%9 D\ c/ Card_Number_Partitions:threads=2elapsed=16.931cpu=30.888gc=1.176factor=1.827zXZִF! 0 Z]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I!zKy˻L!u˼};{Ua)Q`nwY]Y!|>a!6/]Y9k8in$ӆރH t/3}ebJj@!/Z*ic|߉10vRw虬װT 9T7VLh7dfue;moNq/Qx{p-,JL4K4y,5)ubWq[yi| pآUߌH3״A9ڲpk>'A#Ms OmcV0 6*+=߻ꙹ9 b.eMbz.C˾P>ah>)I,X)KwÉ g*[Ip}闿bO w,BZ`F _YM"৚t8 $zr-5Ә h7?7fX2xD5B?w.[5Pcl #]< uwxph*1A=4"N|!HjH'tAl/ ! fb9VJp#M :09[:F:],o ݧT6Rzu n?G{(6ap++M3xܑ!"+\F8qr"/GG`<;7P9 J034y$$SVZU0iy?\bw< rn3d%@Xb"eyS<ۜX%4U#Y9 9 Card_Number_Partitions]gE|*x]پu~eU5ZájiSh^)_ޗo@JIuQSu 5#cԸFE)#O_BY%'T.r2X [?[ ܅m!J-drAٷ5;v9 yvAz^fEELZGGe;xf4>g.m] u1qěeN8*K\.ٰ%/ :iWPG+x%:`y]MSXK?2 y;#5] =ڞ7!f;!|JF{ֻx3LK yq9!(!e6 (E}LL-vU6eoy-}1g`Wvf7QJ$D(iOp]^Wshs~uSR5῰9>";jkZ}`|x:'Rܹ![!:`zd|r?鐓+jiQ,C x`b.&ua)S bj=n@qO}i ]ז3c2=ygEt7R#eݣh^k53%'GW}E;_&]}>c+:-my\ɚV1Vj\Es T_Hu <}LU1X~hǸۜ^!,vS{˖E$)Rq7)E 7a)Bt =p='bm}FglDx^cYD.mFx(W Bd &k qx(+y` gJ +[Pмr.3["wf`T4-^')L& #gzC nB?\U"#-\MݨGp-ӗ!U v:G0ӡUp~~T]o\ŻgˑAԑ˕YύHz>]^- M͏qCy3ExcLV}`>YS4֐ɌĂo+y'O 19Px@daA"~ppHl^A퇖~uU+?j*t*ޖ!%_RustW޾хNI;B`%@̥{\2Pƿ=AZd/si,08%|f8#)}qhg3v:-wTkݜTeBdZ$XglI |%f|yXq!wۄ}X ?\|5E֮ 婓7gYZ7zXZִF! `Q%]ŗXi%HE2DIOFtk^s\|F #{ ]h&hH|ZxNyL3^XH%HzY>FKrេ|+7f/_n=YSWMok'-rBF^Q,iynPx2fȏ-3^4yHcUC:\⋁$ߕ۴P"%LȞ\ۭA7Ͽ4?I:򄰴"7'ŕpʯ0+ Y5zriM^b߽|Ƭa"rGb2+@[qkioә(P%O(:~{SdNl3o2UI"**m>|cMʦ\{,_dh?cxrvƿ>yKM{uLjҤV8sklgՄX^Ԏ֬R? uVʏj[9#a TkOE2LJRz 0OJV;C͗rWqﱼZM{㘫 N!D|%柚?ܕJFt~Q)pнIr -?U ʣ~z=xvyjȘ DeKB9-P*f 8dӂ/9ȒΑ@ePIܰs7Πz; WWG"Gū W5-ǼvUCK !OY }$?;5v㒼{>iŨǍ,3<>,008=օ6XoœQ\=1r-3J#EB~{uVr]40RXMD?M"ozK1m>WvzyC ty|*t]5~+u䞷ϲ%S3N^l$ ˽HGgDڽ:¯ YeE Cli|&\f4/KHKz] ;GIF~6j )Ɨ1j+%鉦)EKaDQ #f[BSF*^ !z0 u`.XGo%)8!}7YHҮ/t iv}(8J;P/MSKOSL;&.""Sc\O!ɟ]\uݮ[2hk!_hUVQmֺgMwFsNT4Ev7Az};kQpk # ~׸WgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 352fcd7b2fd91fb8f087b863fba8c3715e90f859 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef dca6a62bf843f228c2ef7e88dbb6daefffb636c98c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07